diff --git a/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md b/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md index 8a9a391ebcfff499e19ffb52fe394d5895df2ab6..23e705fdf1e517ec66943c2409698f4ea4bfca93 100644 --- a/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md +++ b/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md @@ -340,7 +340,7 @@ workspaces within in the directory `DIR`. Calling this command will do the follo ```bash ANSRED=$'\e[41;1m' ANSRESET=$'\e[0m' - buf="$(timeout 10 ws_register $HOME/workspaces)"; + buf="$(timeout 10s ws_register $HOME/workspaces)"; if test $? -eq 0; then printf "${buf}"; else