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-22 01:27:12 +03:00			`#!/usr/bin/env bash`
			`set -euo pipefail`

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