Remove useless line in ./run_demo.shh

DIRACGrid · Sep 12, 2023 · b3f0bd1 · b3f0bd1
1 parent fb44d2f
commit b3f0bd1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/run_demo.sh b/run_demo.sh
@@ -84,7 +84,6 @@ echo "${pkg_names[@]}"
 
 machine_hostname=$(hostname | tr '[:upper:]' '[:lower:]')
 if ! check_hostname "${machine_hostname}"; then
-  machine_system=$(uname -s)
   machine_hostname=$(ifconfig | grep 'inet ' | grep -v '127' | awk '{ print $2 }' | head -n 1 | cut -d '/' -f 1)
   if ! check_hostname "${machine_hostname}"; then
     echo "Failed to find an appropriate hostname for the demo."