diff options
| author | Teddy Wing | 2018-11-10 01:45:00 +0100 |
|---|---|---|
| committer | Teddy Wing | 2018-11-10 01:45:39 +0100 |
| commit | b430199ed32dae66c7186d666d81e877a385bc46 (patch) | |
| tree | 2850f447d72b1efdbf0726bd74c2d0089b5fdd08 /doc/extract_special_key_names.sh | |
| parent | afc5618b070e45f2bf407e06e780463ec8491292 (diff) | |
| download | DomeKey-b430199ed32dae66c7186d666d81e877a385bc46.tar.bz2 | |
Add doc/extract_special_key_names.sh
Script to extract the names of special keys like `<VolumeUp>` from
`parser.rs`.
Need these for the mappings syntax manual.
Diffstat (limited to 'doc/extract_special_key_names.sh')
| -rw-r--r-- | doc/extract_special_key_names.sh | 5 |
1 files changed, 5 insertions, 0 deletions
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 |