Admin/cronjob/self_update
author wenzelm
Mon Oct 02 19:28:18 2017 +0200 (21 months ago)
changeset 66757 e32750d7acb4
parent 64538 5dd15fc22a53
child 67744 5c781dcd5864
permissions -rwxr-xr-x
added command 'external_file';
     1 #!/bin/bash
     2 #
     3 # self-update of the administrative isabelle repository
     4 #
     5 # Need to copy this file manually to $HOME/cronjob in order to
     6 # avoid overwriting the running self_update by itself!
     7 
     8 source "$HOME/.bashrc"
     9 
    10 cd "$HOME/cronjob"
    11 mkdir -p run log
    12 
    13 hg -R isabelle pull "http://isabelle.in.tum.de/repos/isabelle" -q || echo "self_update pull failed"
    14 hg -R isabelle update -C -q || echo "self_update update failed"