diff options
Diffstat (limited to 'misc/.bashrc')
| -rw-r--r-- | misc/.bashrc | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/misc/.bashrc b/misc/.bashrc index e964fbd..2d44565 100644 --- a/misc/.bashrc +++ b/misc/.bashrc @@ -275,10 +275,13 @@ fi # gs-extract 4 11 page-4-thru-11.pdf original.pdf gs-extract() { gs -sDEVICE=pdfwrite -dNOPAUSE -dBATCH -dSAFER -dFirstPage=$1 -dLastPage=$2 \ - -sOutputFile=$3 $4 + -sOutputFile="$3" "$4" } # ghostscript, merge files: gs-merge merged.pdf 1.pdf 2.pdf gs-merge() { - gs -dBATCH -dNOPAUSE -q -sDEVICE=pdfwrite -sOutputFile=$* + gs -dBATCH -dNOPAUSE -q -sDEVICE=pdfwrite -sOutputFile="$@" } + +# dptrp1 +alias quaderno="dptrp1 --addr $QUADERNO_IP" |