From 617ce9a09f2880e877d207c312bbcee1e5a428c3 Mon Sep 17 00:00:00 2001
From: Noah Trumpik <noah.trumpik@tu-dresden.de>
Date: Wed, 8 May 2024 12:47:42 +0200
Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s)
---
doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
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 777362753..1c3c7551c 100644
--- a/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md
+++ b/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md
@@ -433,11 +433,10 @@ workspaces within in the directory `DIR`. Calling this command will do the follo
ANSRESET=$'\e[0m'
buf="$(timeout 10s ws_register $HOME/workspaces)";
if test $? -eq 0; then
- printf "${buf}";
+ echo "${buf}";
else
- printf "${ANSRED} ws_register: timeout after 10 seconds.${ANSRESET}\n";
+ echo "${ANSRED} ws_register: timeout after 10 seconds.${ANSRESET}\n";
fi;
- echo ""
```
## How to use Workspaces
--
GitLab