plumber

Plumber – a modern approach to plumbing
git clone git://r-36.net/plumber
Log | Files | Refs | LICENSE

pdfopener (243B)


      1 #!/bin/sh
      2 
      3 mkdir -p $HOME/tmp/pdfcache
      4 cd $HOME/tmp/pdfcache
      5 
      6 file=$(basename "$1")
      7 
      8 curl -Lkz "$file" -O "$1"
      9 
     10 case "$1" in
     11 *cryptome.org*)
     12 	cp "${file}" $HOME/cryptome
     13 	;;
     14 *awmf.org*)
     15 	cp "${file}" $HOME/awmf
     16 	;;
     17 *)
     18 	;;
     19 esac
     20 
     21 see "${file}"
     22