diff --git a/rundev.sh b/rundev.sh index 9600878..08fadfa 100755 --- a/rundev.sh +++ b/rundev.sh @@ -3,21 +3,12 @@ set -euo pipefail cd "$(dirname "$0")" -check_remote() { - if [[ $MATTERMOST_REMOTE == */ ]]; then - echo "MATTERMOST_REMOTE should not end with a slash (it should only the protocol and the domain; no path)" >&2 - exit 1 - fi -} - if [[ ! -f config ]]; then read -p 'Server URL (e.g. `https://mattermost.example.com`): ' MATTERMOST_REMOTE - check_remote - echo "MATTERMOST_REMOTE='$MATTERMOST_REMOTE'" > config + echo "MATTERMOST_REMOTE='${MATTERMOST_REMOTE//\//}'" > config echo 'You can change this later by editing the file `config`.' fi source "config" -check_remote server_pid=0 finish() {