diff options
Diffstat (limited to 'jh-mksource.sh')
-rw-r--r-- | jh-mksource.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/jh-mksource.sh b/jh-mksource.sh deleted file mode 100644 index 31e40c7..0000000 --- a/jh-mksource.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/bash - -quote () { - local quoted=${1//\'/\'\\\'\'}; - printf "'%s'" "$quoted" -} - -quote_args() { - for arg in "$@"; do - quote "$arg" - printf ' ' - done -} - -echo "type mksource &>/dev/null && mksource; jh checksource $(quote_args "$@")" |