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 # Precreate any files necessary.
  19 #(nothing)
  20
  21 # Run techtalk.
  22 techtalk-pse
  23 #~/d/techtalk-pse/techtalk-pse