From 5864884f9785e0f0a8e1e27726f7b05007bbb499 Mon Sep 17 00:00:00 2001
From: Midgard <midgard@zeus.ugent.be>
Date: Wed, 8 Jun 2022 17:30:27 +0200
Subject: [PATCH] Remove trailing slashes instead of complaining

---
 rundev.sh | 11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

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() {