diff options
| author | Lionel <lionel.miquel46@gmail.com> | 2018-11-05 11:53:47 +0100 |
|---|---|---|
| committer | Lionel <lionel.miquel46@gmail.com> | 2018-11-05 11:53:47 +0100 |
| commit | 38935e2846758469d613f64021c80929e8e9e75c (patch) | |
| tree | ed6f9285c587542cb8bb0d2106acc51e4e83e4dd | |
| parent | 3dc4c7a6def9590b3e30bc99d0b29f7afd706653 (diff) | |
| download | randopitons-38935e2846758469d613f64021c80929e8e9e75c.tar.gz randopitons-38935e2846758469d613f64021c80929e8e9e75c.zip | |
Removed useless filecheck lines.
| -rw-r--r-- | randopitons.sh | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/randopitons.sh b/randopitons.sh index 711943d..a6a28db 100644 --- a/randopitons.sh +++ b/randopitons.sh @@ -5,7 +5,7 @@ #set -o errexit #set -o pipefail #set -o nounset -set -o xtrace +#set -o xtrace # Set magic variables for current file & dir __dir="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" @@ -65,12 +65,6 @@ else echo -e "Cirque de Cilaos\nCirque de Mafate\nCirque de Salazie\nEst\nNord\nOuest\nSud\nVolcan\nAilleurs\nAll">${__dir}/regions.txt fi -if [ -s "${__dir}/webregions.txt" ];then - echo "Webegion file is already there. OK" -else - echo "Webregion file doesn't exist, we will create it." - echo -e "cirque-cilaos\ncirque-mafate\ncirque-salazie\nest\nnord\nouest\nsud\nvolcan\nailleurs">${__dir}/webregions.txt - fi REGIONS=$(cat ${__dir}/regions.txt) MAPTYPE="gpx" |