Marc/server
1
0
Fork 0
forked from github/server
Code Issues Pull requests Projects Releases Wiki Activity

add a simple upgrade script for non-developers.

Browse source
This commit is contained in:
Enno Rehling 2017-01-27 20:20:20 +01:00
parent 0913336ef8
commit d4e5e5f478
1 changed files with 14 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
s/upgrade Executable file
View file

@ -0,0 +1,14 @@
#!/bin/sh
set -e
ROOT=`pwd`
while [ ! -d $ROOT/.git ]; do
ROOT=`dirname $ROOT`
done
cd $ROOT
git pull
git submodule update
s/build
s/runtests
s/install