diff options
Diffstat (limited to 'misc/.bashrc')
| -rw-r--r-- | misc/.bashrc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/misc/.bashrc b/misc/.bashrc index e964fbd..b425d61 100644 --- a/misc/.bashrc +++ b/misc/.bashrc @@ -282,3 +282,6 @@ gs-extract() { gs-merge() { gs -dBATCH -dNOPAUSE -q -sDEVICE=pdfwrite -sOutputFile=$* } + +# dptrp1 +alias quaderno="dptrp1 --addr $QUADERNO_IP" |