From 1a645b043cd7951e48a5ac5fa172f1595740634e Mon Sep 17 00:00:00 2001
From: marcodeltufo <marco.deltufo@exact-lab.it>
Date: Tue, 12 Sep 2023 11:46:30 +0200
Subject: [PATCH] re-fixed the fix
---
docs/script.sh | 25 -------------------------
1 file changed, 25 deletions(-)
delete mode 100755 docs/script.sh
diff --git a/docs/script.sh b/docs/script.sh
deleted file mode 100755
index 8f50adb1042..00000000000
--- a/docs/script.sh
+++ /dev/null
@@ -1,25 +0,0 @@
-for i in $(find . -type f -name '*.md' -print)
-do
- echo " -- "
- echo " FIXING FILE ${i}..."
- for string in `grep -oP '\(https://openbis.readthedocs.io/en/latest/\K[^\)]+' $i`
- do
- new_string=`echo "/home/marco/openbis/docs/${string}" | sed s/html/md/g | cut -d '#' -f 1`
- file2=$new_string
- file1=$i
- new_string=`realpath --relative-to="$file1" "$file2"`
- if [[ $new_string == "." ]]
- then
- new_string=`basename $i`
- new_string="./${new_string}"
- fi
- if [[ $new_string =~ ^\.\.\/[a-zA-Z]+ ]]
- then
- new_string="${new_string:1}"
- fi
- original_string=`echo "https://openbis.readthedocs.io/en/latest/${string}" | cut -d '#' -f 1`
- echo $original_string
- echo $new_string
- #sed -i.bak s,"$original_string","$new_string",g $i
- done
-done
--
GitLab