From 2def47eb83dd79d705585da5d3a9033f3e54deb0 Mon Sep 17 00:00:00 2001 From: Oliver Kopp Date: Sun, 13 Oct 2024 09:25:15 +0200 Subject: [PATCH] Refine howto --- en/contributing/how-to-improve-the-help-page.md | 1 + 1 file changed, 1 insertion(+) diff --git a/en/contributing/how-to-improve-the-help-page.md b/en/contributing/how-to-improve-the-help-page.md index d303673b6..a215afd6c 100644 --- a/en/contributing/how-to-improve-the-help-page.md +++ b/en/contributing/how-to-improve-the-help-page.md @@ -97,4 +97,5 @@ In case GitBook was fixed, with some command line magic, this could be solved: 1. Create a script renaming all images: `fd -e png -x bash -c "echo '{}' | sed 's/\([^(]*\)\(.*\).png/mv \"\\1\\2.png\" \"\\1.png\"/' | sed 's/ \.png/.png/'" | sort > fix-filenames.sh`. Execute in `en/.gitbook`. Otherwise, `fd` does not find any file. 2. Repeat for `gif` instead of `png`. 3. Create a script doing the renaming in all `.md` files: `fd -e md -x bash -c "echo sed -i '\"s/assets\/\([^%]*\)\(.*\).png/assets\/\\1.png/\"' {}" > fix-mds.sh`. Execute in the root repository. + You can also do manually in VSCode using `( \(\d\))+.png` as RegEx. 4. Repeat for `gif` instead of `png`.