From 8c43ee8933c37e8dc25a6b2a08ec8ddf439c45ae Mon Sep 17 00:00:00 2001 From: sys4 Date: Fri, 27 Aug 2021 11:50:57 +0200 Subject: [PATCH] =?UTF-8?q?Rend=20ex=C3=A9cutable=20script=20g=C3=A9r?= =?UTF-8?q?=C3=A9ration=20carte=20et=20correction?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- genmap.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) mode change 100644 => 100755 genmap.sh diff --git a/genmap.sh b/genmap.sh old mode 100644 new mode 100755 index 319a2ae..f09feb8 --- a/genmap.sh +++ b/genmap.sh @@ -33,17 +33,17 @@ usage() { action() { [ -z "$1" ] && error "Argument manquant" local serverpath=$(strip "$1") - [ ! -d $serverpath ] && error "Le répertoire $serverpath n'existe pas" + [ ! -d "$serverpath" ] && error "Le répertoire $serverpath n'existe pas" [ -z "$2" ] && error "Nom du world manquant" local world_name=$(strip "$2") local world="$serverpath/minetest/worlds/$world_name" - [ ! -d $world ] && error "Le répertoire $world n'existe pas" + [ ! -d "$world" ] && error "Le répertoire $world n'existe pas" [ -z "$3" ] && error "Chemin de destination manquant" local destination=$(strip "$3") - [ ! -d destination ] && error "Le répertoire $destination n'existe pas" + [ ! -d "$destination" ] && error "Le répertoire $destination n'existe pas" [ ! -d "$serverpath/minetestmapper" ] && error "minetestmapper ne semble pas installé" [ ! -e "$serverpath/colors.txt" ] && error "$serverpath/colors.txt manquant"