Apply 1 suggestion(s) to 1 file(s)

doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md

@@ -431,12 +431,12 @@ workspaces within in the directory `DIR`. Calling this command will do the follo
     ```bash
     ANSRED=$'\e[41;1m'
     ANSRESET=$'\e[0m'
-    buf="$(timeout 10s ws_register $HOME/workspaces)";
+    buf="$(timeout 10s ws_register $HOME/workspaces)"
     if test $? -eq 0; then
-        echo "${buf}";
+        echo "${buf}"
     else
-        echo "${ANSRED} ws_register: timeout after 10 seconds.${ANSRESET}\n";
-    fi;
+        echo "${ANSRED} ws_register: timeout after 10 seconds.${ANSRESET}\n"
+    fi
     ```
 
 ## How to use Workspaces