From b430199ed32dae66c7186d666d81e877a385bc46 Mon Sep 17 00:00:00 2001 From: Teddy Wing Date: Sat, 10 Nov 2018 01:45:00 +0100 Subject: Add doc/extract_special_key_names.sh Script to extract the names of special keys like `` from `parser.rs`. Need these for the mappings syntax manual. --- doc/extract_special_key_names.sh | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 doc/extract_special_key_names.sh (limited to 'doc') diff --git a/doc/extract_special_key_names.sh b/doc/extract_special_key_names.sh new file mode 100644 index 0000000..36f7ab6 --- /dev/null +++ b/doc/extract_special_key_names.sh @@ -0,0 +1,5 @@ +#!/bin/sh + +sed -n \ + 's/[[:space:]]*try(string_case_insensitive("\([[:alnum:]]\{1,\}\)"))/\1/p' \ + lib/dome-key-map/src/parser.rs -- cgit v1.2.3