Admin/cronjob/self_update
changeset 64148 bbf43b7c4d0d
child 64432 c381bfd068fd
equal deleted inserted replaced
64147:92066f8c6a54 64148:bbf43b7c4d0d
       
     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 -q || echo "self_update pull failed"
       
    14 hg -R isabelle update -C -q || echo "self_update update failed"