navi/scripts/update

#!/usr/bin/env bash
set -euo pipefail

export NAVI_HOME="$(cd "$(dirname "$0")/.." && pwd)"

cd "$NAVI_HOME"

git pull
"${NAVI_HOME}/scripts/install" || true
Add update script (#31) 2019-09-21 22:27:12 +00:00			`#!/usr/bin/env bash`
			`set -euo pipefail`

Minor changes (#122) 2019-10-11 17:33:16 +00:00			`export NAVI_HOME="$(cd "$(dirname "$0")/.." && pwd)"`
Add update script (#31) 2019-09-21 22:27:12 +00:00
Minor changes (#122) 2019-10-11 17:33:16 +00:00			`cd "$NAVI_HOME"`
Add update script (#31) 2019-09-21 22:27:12 +00:00
			`git pull`
Minor changes (#122) 2019-10-11 17:33:16 +00:00			`"${NAVI_HOME}/scripts/install" \|\| true`