From 0d6f69bbbd01042ef3aa20770036ed635b91f12e Mon Sep 17 00:00:00 2001 From: Saverio Miroddi Date: Tue, 5 May 2020 23:21:07 +0200 Subject: [PATCH] Shellcheck: Fix convert.sh --- demo/source/convert.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/demo/source/convert.sh b/demo/source/convert.sh index 59da24c..8e0b8e1 100755 --- a/demo/source/convert.sh +++ b/demo/source/convert.sh @@ -1,6 +1,6 @@ #!/bin/bash -source_dir=$(readlink -f $(dirname "$0")) +source_dir=$(readlink -f "$(dirname "$0")") demo_dir=$(dirname "$source_dir") (for f in "$source_dir"/*.webm; do echo "file '$f'"; done) | ffmpeg -f concat -safe 0 -i /dev/stdin -vf "fps=2,split[s0][s1];[s0]palettegen[p];[s1][p]paletteuse" "$demo_dir/demo.gif" -y