diff options
author | Gregor Kleen <gkleen@yggdrasil.li> | 2016-05-16 00:37:58 +0200 |
---|---|---|
committer | Gregor Kleen <gkleen@yggdrasil.li> | 2016-05-16 00:37:58 +0200 |
commit | 1d1c213e227d73c74312511a699efe0ad1a5bcfb (patch) | |
tree | 30bd52066e0f23cdda632b9eaec47ae79b103da5 | |
parent | 8ce2e7787c725b02af7eff04b094a53f178d71ed (diff) | |
download | nixos-1d1c213e227d73c74312511a699efe0ad1a5bcfb.tar nixos-1d1c213e227d73c74312511a699efe0ad1a5bcfb.tar.gz nixos-1d1c213e227d73c74312511a699efe0ad1a5bcfb.tar.bz2 nixos-1d1c213e227d73c74312511a699efe0ad1a5bcfb.tar.xz nixos-1d1c213e227d73c74312511a699efe0ad1a5bcfb.zip |
alternate syntax for recv-media
-rw-r--r-- | hel/recv-media.nix | 17 |
1 files changed, 7 insertions, 10 deletions
diff --git a/hel/recv-media.nix b/hel/recv-media.nix index 3bdf0c73..75aa7950 100644 --- a/hel/recv-media.nix +++ b/hel/recv-media.nix | |||
@@ -13,14 +13,11 @@ writeScriptBin "recv-media" '' | |||
13 | #file2="''${dir}/.copy.$(basename "$1")" | 13 | #file2="''${dir}/.copy.$(basename "$1")" |
14 | nFile="''${dir}/$(basename "$1")" | 14 | nFile="''${dir}/$(basename "$1")" |
15 | #cat > "''${file}" | 15 | #cat > "''${file}" |
16 | cat > "''${file}" | 16 | if ffmpeg -v warning -i "''$0" -c copy "''${file}" 2>&1 </dev/null; then |
17 | mv "''${file}" "''${nFile}" | 17 | mv "''${file}" "''${nFile}" |
18 | # if ! ffmpeg -v warning -i "''${file}" -c copy "''${file2}" 2>&1 </dev/null; then | 18 | else |
19 | # echo "Download of ''${file} failed" | 19 | echo "Download of ''${file} failed" |
20 | # rm -f "''${nFile}" "''${file}" "''${file2}" | 20 | rm -f "''${nFile}" "''${file}" |
21 | # exit 1 | 21 | exit 1 |
22 | # else | 22 | fi |
23 | # rm -f "''${file}" | ||
24 | # mv "''${file2}" "''${nFile}" | ||
25 | # fi | ||
26 | '' | 23 | '' |