taler-deployment

Deployment scripts and configuration files
Log | Files | Refs | README

update_tutorials.sh (780B)

      1 #!/bin/sh
      2 
      3 set -eu
      4 
      5 fetch () {
      6   git clean -fdx
      7   git fetch
      8   # reset to updated upstream branch, but only if we're tracking a branch
      9   branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || echo HEAD)
     10   git reset --hard "$branch"
     11 }
     12 
     13 # Assumes the repo was already checked out once.
     14 cd $HOME/taler-tutorials
     15 
     16 git checkout master -f
     17 fetch
     18 git submodule update --init --force
     19 make html
     20 mv _build/html/ $HOME/tutorials.taler.net.wip
     21 
     22 chmod -R g+rx $HOME/tutorials.taler.net.wip/
     23 
     24 # Clean up 'ancient' version (before previous)
     25 rm -rf $HOME/tutorials.taler.net.old/
     26 # Finally, do two fast renames to make the current version active
     27 mv $HOME/tutorials.taler.net/ $HOME/tutorials.taler.net.old/ || true
     28 mv $HOME/tutorials.taler.net.wip/ $HOME/tutorials.taler.net/