Update mkhtmlindex

This commit is contained in:
2026-01-07 19:09:50 +01:00
parent b165f28d47
commit 4256a90aa5
3 changed files with 10 additions and 4 deletions
+2 -1
View File
@@ -1,5 +1,6 @@
#!/bin/bash
# Script to generate HTML index files for directories using 'tree'
# Works with 'tree' 1.7.0 under Cygwin
# Array of dirs to exclude
exclude_paths=(
@@ -45,7 +46,7 @@ for dir in "${dirs[@]}"; do
| sed \
-e '/<hr>/,+7d' \
-e 's/href="\.">\./href="..">../' \
-e 's/BODY {/BODY { color: lime; background: black;/' \
-e 's/BODY {\(.*\)}/BODY {\1color: lime; background: black; }/' \
-e 's/color: black;/color: lime;/' \
-e 's/color: blue;/color: deepskyblue;/' \
-e 's/color: green;/color: limegreen;/' \
+5
View File
@@ -3,6 +3,11 @@
# options: off,check,prompt,auto
clink.autoupdate = off
# name: Selects default key bindings
# type: enum
# options: bash,windows
clink.default_bindings = windows
# name: Strips CR and LF chars on paste
# type: enum
# options: delete,space,ampersand,crlf
+3 -3
View File
@@ -731,7 +731,7 @@
<value name="StatusBar.Hide.Dpi" type="hex" data="01"/>
<value name="TabFlashChanged" type="long" data="8"/>
<value name="TabModifiedSuffix" type="string" data="[*]"/>
<key name="HotKeys" modified="2023-02-19 16:49:30" build="221218">
<key name="HotKeys" modified="2026-01-07 13:44:08" build="230724">
<value name="KeyMacroVersion" type="hex" data="02"/>
<value name="Multi.Modifier" type="dword" data="00000011"/>
<value name="Multi.ArrowsModifier" type="dword" data="0000005b"/>
@@ -924,8 +924,8 @@
<value name="CloseToRightKey" type="dword" data="00000000"/>
<value name="Key.AltNumpad" type="dword" data="00000000"/>
<value name="Key.JumpActiveMonitor" type="dword" data="00000000"/>
<value name="Key.BufPrUp" type="dword" data="00121121"/>
<value name="Key.BufPrDn" type="dword" data="00121122"/>
<value name="Key.BufPrUp" type="dword" data="00000000"/>
<value name="Key.BufPrDn" type="dword" data="00000000"/>
<value name="Key.ResetTerm" type="dword" data="00000000"/>
<value name="Key.EditMenu" type="dword" data="00000000"/>
<value name="Key.EditMenu2" type="dword" data="00000000"/>