Update get_community_tools.sh

galaxyproject · Jul 11, 2024 · 62aa1f3 · 62aa1f3
1 parent 55a7a41
commit 62aa1f3
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/bin/get_community_tools.sh b/bin/get_community_tools.sh
@@ -3,8 +3,7 @@
 # stop on error
 set -e 
 
-if [ ! -z $1  && $1=="test" ] 
-then
+if [[ ! -z $1  && $1=="test" ]]; then
         python bin/extract_galaxy_tools.py \
                 filter \
                 --all "results/all_tools.json" \