From 433e73fe32376edc4bc9d37dbe491a41e59d9071 Mon Sep 17 00:00:00 2001
From: Jan Frenzel <jan.frenzel@tu-dresden.de>
Date: Thu, 26 Aug 2021 12:47:08 +0200
Subject: [PATCH] Added rule for workspace to grep-forbidden-words.sh.
---
doc.zih.tu-dresden.de/util/grep-forbidden-words.sh | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/doc.zih.tu-dresden.de/util/grep-forbidden-words.sh b/doc.zih.tu-dresden.de/util/grep-forbidden-words.sh
index 21e83a5a5..19a97dbbc 100755
--- a/doc.zih.tu-dresden.de/util/grep-forbidden-words.sh
+++ b/doc.zih.tu-dresden.de/util/grep-forbidden-words.sh
@@ -18,7 +18,8 @@ i file \+system
i \<taurus\> taurus\.hrsk /taurus
i \<hrskii\>
i hpc \+system
-i hpc[ -]\+da\>"
+i hpc[ -]\+da\>
+i work[ -]\+space"
function grepExceptions () {
if [ $# -gt 0 ]; then
--
GitLab