Skip to content
Snippets Groups Projects
Commit 617ce9a0 authored by Noah Löwer's avatar Noah Löwer Committed by Martin Schroschk
Browse files

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

parent d7f24050
No related branches found
No related tags found
2 merge requests!1071Automated merge from preview to main,!862Issue 482: ws_register in bash.rc
...@@ -433,11 +433,10 @@ workspaces within in the directory `DIR`. Calling this command will do the follo ...@@ -433,11 +433,10 @@ workspaces within in the directory `DIR`. Calling this command will do the follo
ANSRESET=$'\e[0m' ANSRESET=$'\e[0m'
buf="$(timeout 10s ws_register $HOME/workspaces)"; buf="$(timeout 10s ws_register $HOME/workspaces)";
if test $? -eq 0; then if test $? -eq 0; then
printf "${buf}"; echo "${buf}";
else else
printf "${ANSRED} ws_register: timeout after 10 seconds.${ANSRESET}\n"; echo "${ANSRED} ws_register: timeout after 10 seconds.${ANSRESET}\n";
fi; fi;
echo ""
``` ```
## How to use Workspaces ## How to use Workspaces
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment