Want to download a paper from home, or from a poor different university which doesn’t have all subscriptions? Try this paper-get script.
Usage: paper-get URL [filename]
#!/bin/sh
SSH_TARGET=user@mymachine
if [ -n "$2" ]; then
DEST="$2"
else
DEST="$(basename $1)"
echo Saving to $DEST
fi
if [ -e "$DEST" ]; then
echo Warning: the destination file already exists.
echo Press Enter to overwrite, Ctrl-C to abort.
read ANTANI
fi
ssh $SSH_TARGET wget -O- \"$1\" > "$DEST"
