2020-frama-c/run

   1 #!/bin/bash -
   2 # Run the talk.
   3
   4 set -e
   5
   6 # Avoid GNOME keyring stupidity
   7 export GNOME_KEYRING_CONTROL=
   8 export GNOME_KEYRING_PID=
   9
  10 # No proxy.
  11 #unset http_proxy
  12 #unset https_proxy
  13 #unset ftp_proxy
  14
  15 # Clean up after previous run.
  16 talkdir=$PWD ./restore
  17
  18 # Check environment.
  19 if ! test -d ~/d/qemu ; then
  20     echo "\$HOME/d/qemu must exist"
  21     exit 1
  22 fi
  23
  24 # Precreate any files necessary.
  25 #(nothing)
  26
  27 # Run techtalk.
  28 #techtalk-pse "$@"
  29 ~/d/techtalk-pse/techtalk-pse "$@"