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

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

script() {
   echo "#!/usr/bin/env bash"
   echo "${NAVI_HOME}/navi" '"$@"'
}

folder="${1:-/usr/local/bin}"
bin="${folder}/navi"

script > "$bin"
chmod +x "$bin"