diff options
| -rwxr-xr-x | pdfdistiller | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pdfdistiller b/pdfdistiller index 7c4044a..3b1b494 100755 --- a/pdfdistiller +++ b/pdfdistiller @@ -51,7 +51,10 @@ echo "PDF directory: $PDFDIR" >> $LOGFILE # generate output filename OUTPUTFILENAME= -if [ "$2" = "" ]; then + +#I found out that when the user 'nobody' prints, the script tries to mail the PDF +#to that user - as a local mail. To avoid this, I changed the conditions in the if-statement below. +if [ "$2" = "" -o "$2" = "nobody" ]; then OUTPUTFILENAME="$PDFDIR/unknown-$PRINTTIME.pdf" else # OUTPUTFILENAME="$PDFDIR/${3//[^[:alnum:]]/_}.pdf" |