From f55a2cbbf30cc59732017754fceb4635e0a6d66c Mon Sep 17 00:00:00 2001
From: Marco Del Tufo <marco.deltufo@exact-lab.it>
Date: Wed, 13 Sep 2023 08:21:18 +0000
Subject: [PATCH] Delete script.sh
---
docs/script.sh | 32 --------------------------------
1 file changed, 32 deletions(-)
delete mode 100755 docs/script.sh
diff --git a/docs/script.sh b/docs/script.sh
deleted file mode 100755
index 0b44de6ce94..00000000000
--- a/docs/script.sh
+++ /dev/null
@@ -1,32 +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
- if [[ $new_string =~ ^\.\.\/\.\. ]]
- then
- #new_string="${new_string:3}"
- #echo $new_string
- new_string=`echo $new_string | sed s,"../",,`
- #echo $new_string
- fi
- original_string=`echo "https://openbis.readthedocs.io/en/latest/${string}" | cut -d '#' -f 1`
- echo $original_string
- echo $new_string
- sed -i s,"$original_string","$new_string",g $i
- done
-done
--
GitLab