diff options
| -rwxr-xr-x | bin/impressive-display | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/impressive-display b/bin/impressive-display index bc0bac4..0e3bdf7 100755 --- a/bin/impressive-display +++ b/bin/impressive-display @@ -157,7 +157,7 @@ else RESOLUTION="$DEFAULT_RESOLUTION" fi -if ! echo "$PDF_URI" | grep -E "^(file://|http://|https://).*"; then +if ! echo "$PDF_URI" | grep -q -E "^(file://|http://|https://).*"; then $OUTPUT "ERROR: PDF_URI format not supported: $PDF_URI" $OUTPUT " Use file://<path>/<file>.pdf(.gz) or http(s)://<host>/<path>/<file>.pdf. Doing nothing." exit -1 @@ -341,7 +341,7 @@ function download_pdffile { fi # is the PDF file gzipped? - if echo "$DOWNLOADED_FILE" | grep -E '.*\.gz$'; then + if echo "$DOWNLOADED_FILE" | grep -q -E '.*\.gz$'; then gunzip -f "$DOWNLOADED_FILE" mv "${DOWNLOADED_FILE/.gz/}" "$pdffile_downloaded" else |