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 b5c5b7e55aaac981eb68450008dfe8ab829202db..d5b9c964d856912d276e919a1aaeff9aee9561bb 100644 --- a/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md +++ b/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md @@ -431,7 +431,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