From ef40e0e126170368758b19b6f00d238dbb46da4f Mon Sep 17 00:00:00 2001 From: Pierre Neidhardt Date: Fri, 27 Sep 2019 22:18:09 +0200 Subject: [PATCH] local/bin/: Remove echokeymap since I don't have a custom keymap anymore. --- .local/bin/echokeymap | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100755 .local/bin/echokeymap diff --git a/.local/bin/echokeymap b/.local/bin/echokeymap deleted file mode 100755 index 2b09935c..00000000 --- a/.local/bin/echokeymap +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/sh - -KEYMAP="$HOME/.xkb/symbols/usim" - -if [ "$1" = "-h" ]; then - cat <&2 -Usage: ${0##*/} KEYMAP - -Display KEYMAP in terminal. (Default: $KEYMAP) - -EOF - exit -fi -[ "$1" = "--" ] && shift - -## Keymap view in terminal -[ $# -ne 0 ] && KEYMAP=$1 -awk '/━|┃|│|─/ {line=substr($0,4); print line}' "$KEYMAP"