diff options
| author | Gregor Kleen <pngwjpgh@users.noreply.github.com> | 2016-06-29 16:58:48 +0200 |
|---|---|---|
| committer | Gregor Kleen <pngwjpgh@users.noreply.github.com> | 2016-06-29 16:58:48 +0200 |
| commit | 219d114203d51c22d1b38a08858880b4e9546d09 (patch) | |
| tree | 7cf7017d767909b46d8604b50c8a0d38a35eb064 | |
| parent | 8f73d79b9420a6263e67dade2ea9747baaa6e04f (diff) | |
| download | nixos-219d114203d51c22d1b38a08858880b4e9546d09.tar nixos-219d114203d51c22d1b38a08858880b4e9546d09.tar.gz nixos-219d114203d51c22d1b38a08858880b4e9546d09.tar.bz2 nixos-219d114203d51c22d1b38a08858880b4e9546d09.tar.xz nixos-219d114203d51c22d1b38a08858880b4e9546d09.zip | |
homebrewed escaping
| -rw-r--r-- | hel/recv-media.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hel/recv-media.nix b/hel/recv-media.nix index d4099a66..a4ac7ba7 100644 --- a/hel/recv-media.nix +++ b/hel/recv-media.nix | |||
| @@ -10,5 +10,5 @@ writeScriptBin "recv-media" '' | |||
| 10 | dir=/var/media | 10 | dir=/var/media |
| 11 | 11 | ||
| 12 | cp -ln "$1" "''${dir}/$(basename "$1")" | 12 | cp -ln "$1" "''${dir}/$(basename "$1")" |
| 13 | [[ -n "$2"]] && touch -c -d "$2" "''${dir}/$(basename "$1")" | 13 | [[ -n "$2"]] && touch -c -d "$(print "$2" | tr '_' ' ')" "''${dir}/$(basename "$1")" |
| 14 | '' | 14 | '' |