123456789101112131415161718192021222324252627282930313233 |
- #!/usr/bin/env bash
- source "${BASH_SOURCE%/*}/common.sh"
- ensure_pwd
- ROOT_FOLDER="${PWD}"
- if [ -z ${1+x} ]; then
- command=""
- else
- command="$1"
- fi
- # Restart Tipi
- if [[ "$command" = "restart" ]]; then
- write_log "Restarting Tipi..."
- scripts/stop.sh
- scripts/start.sh
- exit
- fi
- # Update Tipi
- if [[ "$command" = "update" ]]; then
- write_log "Updating Tipi..."
- scripts/stop.sh
- git config --global --add safe.directory "${ROOT_FOLDER}"
- git pull origin master
- scripts/start.sh
- exit
- fi
|