icp/dev/update-git.sh

#!/bin/bash

(
cd /home/oer/icp/
git pull -q

OLD=$(docker ps|grep "kunkel/oer\b"|cut -d " " -f 1)
if [[ $OLD != "" ]] ; then
	docker stop $OLD
fi

./dev/run-container-server.sh
) > /dev/null
Last fixes for live system 2018-05-06 14:37:14 +00:00			`#!/bin/bash`

			`(`
			`cd /home/oer/icp/`
Quiet 2018-05-07 09:32:34 +00:00			`git pull -q`
Last fixes for live system 2018-05-06 14:37:14 +00:00
			`OLD=$(docker ps\|grep "kunkel/oer\b"\|cut -d " " -f 1)`
			`if [[ $OLD != "" ]] ; then`
			`docker stop $OLD`
			`fi`

			`./dev/run-container-server.sh`
			`) > /dev/null`