From 60ee4ffc57037280b2d15fef91965b904a251ef8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sebastian=20D=C3=B6bel?= <sebastian.doebel@tu-dresden.de> Date: Wed, 8 May 2024 10:31:44 +0200 Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s) --- doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 8a9a391eb..23e705fdf 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 -- GitLab