diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-06-29 11:16:45 +0200 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-06-29 11:16:45 +0200 |
commit | 884b7bfc72b0ff855129643b519eb2a2e754bf79 (patch) | |
tree | ef2bb203f6691ef2bcd43f3346d2a9ecbe5ed9be | |
parent | a1cab9f28929f6fbb9277c37b6840102beb64424 (diff) | |
download | deployment-884b7bfc72b0ff855129643b519eb2a2e754bf79.tar.gz deployment-884b7bfc72b0ff855129643b519eb2a2e754bf79.tar.bz2 deployment-884b7bfc72b0ff855129643b519eb2a2e754bf79.zip |
updaters for main Web site
-rw-r--r-- | taler-build/update_stage.sh | 16 | ||||
-rw-r--r-- | taler-build/update_www.sh | 16 |
2 files changed, 32 insertions, 0 deletions
diff --git a/taler-build/update_stage.sh b/taler-build/update_stage.sh new file mode 100644 index 0000000..ba068fe --- /dev/null +++ b/taler-build/update_stage.sh @@ -0,0 +1,16 @@ +#!/bin/bash + +set -eu + +fetch () { + git clean -fdx + git fetch + # reset to updated upstream branch, but only if we're tracking a branch + branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || echo HEAD) + git reset --hard "$branch" +} + +cd $HOME/taler.net +fetch +git submodule update --init +make diff --git a/taler-build/update_www.sh b/taler-build/update_www.sh new file mode 100644 index 0000000..ba068fe --- /dev/null +++ b/taler-build/update_www.sh @@ -0,0 +1,16 @@ +#!/bin/bash + +set -eu + +fetch () { + git clean -fdx + git fetch + # reset to updated upstream branch, but only if we're tracking a branch + branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || echo HEAD) + git reset --hard "$branch" +} + +cd $HOME/taler.net +fetch +git submodule update --init +make |