with import <nixpkgs> {};

pkgs.writeShellScriptBin "pushfile" ''
  #!/bin/bash
  echo pushing files to data.tudbut.de:
  scp -P 23 $@ root@tudbut.de:/var/www/html
  for f in $@ ; do
  	echo "https://data.tudbut.de/$(basename $f)"
  done
''