From 42f24833506f25a7b903dfd2a15919620d43e49c Mon Sep 17 00:00:00 2001 From: pstumpf <1006949+pstumpf@users.noreply.github.com> Date: Mon, 27 May 2024 18:21:11 +0200 Subject: [PATCH] Eliminate sed(1) GNUism \| is an incompatible GNU extension to BREs. This corrupts formatting of the elinkskeys(5) man page on any system where sed is not GNU sed (e.g. the BSDs). Use ERE syntax instead. --- doc/tools/keys2doc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/tools/keys2doc b/doc/tools/keys2doc index 1f36f3a5..793ddc2b 100755 --- a/doc/tools/keys2doc +++ b/doc/tools/keys2doc @@ -75,7 +75,7 @@ print_keymap_defaults() | while read entry do entry=$(echo "$entry" | sed 's/.*{ { //') - key=$(echo "$entry" | sed "s/\(KBD_[^,]*\|'.*'\),.*/\1/") + key=$(echo "$entry" | sed -E "s/(KBD_[^,]*|'.*'),.*/\1/") action=$(echo "$entry" | sed "s/.*,.*\(ACT_$KEYMAP\)_\([A-Z_]*\).*/\2/") # If there are backslashed quotes, remove the backslashes. # (This is not needed in print_keymap_actions because