cs
/
icp
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge branch 'master' of /home/git/git/icp

This commit is contained in:
root 2018-05-07 09:33:10 +00:00
parent e7a66855ba 3eb64a4164
commit fc53362b18
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dev/update-git.sh
View File

@ -4,7 +4,7 @@
( (
cd /home/oer/icp/ cd /home/oer/icp/
git pull git pull -q
OLD=$(docker ps|grep "kunkel/oer\b"|cut -d " " -f 1) OLD=$(docker ps|grep "kunkel/oer\b"|cut -d " " -f 1)
if [[ $OLD != "" ]] ; then if [[ $OLD != "" ]] ; then