diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/extract_special_key_names.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/doc/extract_special_key_names.sh b/doc/extract_special_key_names.sh index 36f7ab6..080354d 100644 --- a/doc/extract_special_key_names.sh +++ b/doc/extract_special_key_names.sh @@ -1,5 +1,20 @@ #!/bin/sh +# Copyright (c) 2018 Teddy Wing +# +# This program is free software: you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see <https://www.gnu.org/licenses/>. + sed -n \ 's/[[:space:]]*try(string_case_insensitive("\([[:alnum:]]\{1,\}\)"))/\1/p' \ lib/dome-key-map/src/parser.rs |