From 69be26723b5f86422cd2d004b9e655c8da6b5c8c Mon Sep 17 00:00:00 2001
From: "Hahn Axel (hahn)" <axel.hahn@unibe.ch>
Date: Thu, 31 Oct 2024 15:38:44 +0100
Subject: [PATCH] remove script
---
docs/20_Checks/fix_h1.sh | 54 ----------------------------------------
1 file changed, 54 deletions(-)
delete mode 100755 docs/20_Checks/fix_h1.sh
diff --git a/docs/20_Checks/fix_h1.sh b/docs/20_Checks/fix_h1.sh
deleted file mode 100755
index ee2488b..0000000
--- a/docs/20_Checks/fix_h1.sh
+++ /dev/null
@@ -1,54 +0,0 @@
-#!/bin/bash
-
-tmpfile=/tmp/tmp_myfile_$USER__$$
-
-cd "$( dirname "$0" )"
-
-for f in *.md; do
- if head "$f" | grep -q "^# "; then
- echo
- echo ">>>>> FIX $f"
- echo
- cp -p "$f" "$tmpfile"
-
- if grep -q "^## Introduction" "$f"; then
- echo "Replace '## Introduction'"
- sed -i -e "s/^## Introduction.*//" "$tmpfile"
- head -1 "$f" | tail -1 | grep "." && sed -i -e '2,3d' "$tmpfile"
-
- # make 1st h1 smaller
- sed -i -e "0,/^# /{s/^# /## /}" "$tmpfile"
-
- else
- echo "Move Headers"
- if grep "^###### " "$f"; then
- echo "ABORT: H6 was found that cannot moved to smaller level."
- exit 1
- fi
- for header in "#####" "####" "###" "##" "#"
- do
- sed -i -e "s/^$header /#$header /g" "$tmpfile"
- done
- fi
- diff -u --color "$f" "$tmpfile"
- echo
- read -p "Apply changes on '$f' [Y/n]? > " apply
- if [ "$apply" = "" ] || [ "$apply" = "y" ]|| [ "$apply" = "Y" ]; then
- echo "Applying ..."
- mv "$tmpfile" "$f"
- else
- echo "Keeping current version."
- rm "$tmpfile"
- fi
- sleep 1
- echo
- echo
- echo
- echo
- echo
- echo
- echo ----------------------------------------------------------------------
- else
- echo "OK $f"
- fi
-done
\ No newline at end of file
--
GitLab