diff options
Diffstat (limited to '.scripts/preview')
| -rwxr-xr-x | .scripts/preview | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/.scripts/preview b/.scripts/preview index 43ef6f0..099eb1b 100755 --- a/.scripts/preview +++ b/.scripts/preview @@ -5,13 +5,13 @@ if [ -z "$1" ]; then exit 1; fi basename="$(echo "$1" | sed 's/\.[^\/.]*$//')" wait_pdf() { - sleep 5 # Some start delay - while true; do - if ! pgrep -x "zathura" >/dev/null; then - rm -f "$basename".pdf - exit 0 - fi - done + sleep 5 # Some start delay + while true; do + if ! pgrep -x "zathura" >/dev/null; then + rm -f "$basename".pdf + exit 0 + fi + done } case "$1" in |