script/update

#!/bin/sh
# Update application to run for its current checkout.

# Stop on errors
set -e

cd "$(dirname "$0")/.."
git pull
git submodule update
Add exec + doc header 2015-09-17 00:38:52 -07:00			`#!/bin/sh`
Improve development workflow in docker (#5079 ) 2017-01-02 22:04:09 +01:00			`# Update application to run for its current checkout.`
Add exec + doc header 2015-09-17 00:38:52 -07:00
Improve development workflow in docker (#5079 ) 2017-01-02 22:04:09 +01:00			`# Stop on errors`
			`set -e`
Add exec + doc header 2015-09-17 00:38:52 -07:00
First pass for scripts to rule them all 2015-09-17 00:35:26 -07:00			`cd "$(dirname "$0")/.."`
			`git pull`
			`git submodule update`