blob: 40a137f6d119cc38981ed8732c3f3190016a320e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
#!/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"
}
# Assumes the repo was already checked out once.
cd $HOME/www
git checkout stable -f
fetch
git submodule update --init --force
make
mkdir -p $HOME/www.taler.net/
# Delete old content.
rm -fr $HOME/www.taler.net/*
cp -rt $HOME/www.taler.net/ \
rendered/*
chmod -R g+rx $HOME/www.taler.net/
|
