diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2016-03-29 21:17:20 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2016-03-29 21:17:20 +0200 |
| commit | 948050f4005123abc21227d1507d560481d6a518 (patch) | |
| tree | 65d65d77e2f863fd73a3a8bc80eff61431535b8a | |
| parent | 8cb71b7ec3f5f3304149ea8f49150518ec230e38 (diff) | |
| download | impressive-display-948050f4005123abc21227d1507d560481d6a518.tar.gz impressive-display-948050f4005123abc21227d1507d560481d6a518.tar.bz2 impressive-display-948050f4005123abc21227d1507d560481d6a518.zip | |
Fix uppercase/lowercase spelling for $WORKDIR in local_pdffile() function.
| -rwxr-xr-x | impressive-display/bin/impressive-display | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/impressive-display/bin/impressive-display b/impressive-display/bin/impressive-display index c9bfea0..ad744f3 100755 --- a/impressive-display/bin/impressive-display +++ b/impressive-display/bin/impressive-display @@ -225,14 +225,14 @@ function merge_portrait_documents { function local_pdffile { - cp $PDF_FILE $WORKDIR/$(basename $PDF_FILE) + cp $PDF_FILE $workdir/$(basename $PDF_FILE) # is the PDF file gzipped? if echo $(basename $PDF_FILE) | grep -E ".*\.gz"; then PDF_FILE=${PDF_FILE/.gz/} - gunzip $WORKDIR/$(basename $PDF_FILE).gz + gunzip $workdir/$(basename $PDF_FILE).gz fi - mv $WORKDIR/$(basename $PDF_FILE) "$pdffile_downloaded" + mv $workdir/$(basename $PDF_FILE) "$pdffile_downloaded" merge_portrait_documents |