diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2021-02-20 10:07:49 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2021-02-20 10:07:49 -0300 |
commit | 294bcbb4dbea571f417dc3be6de6d32c0a956bba (patch) | |
tree | 095698b76a48537b4cc06e6ecb20f5cf1a9045f6 | |
parent | fe8af292595e35c0e01e19a3510500da8f506599 (diff) | |
download | scripts-294bcbb4dbea571f417dc3be6de6d32c0a956bba.tar.gz scripts-294bcbb4dbea571f417dc3be6de6d32c0a956bba.tar.bz2 |
Feat: adds catcode
-rwxr-xr-x | catcode | 30 | ||||
-rwxr-xr-x | tombclose | 2 | ||||
-rwxr-xr-x | tombopen | 2 |
3 files changed, 32 insertions, 2 deletions
@@ -0,0 +1,30 @@ +#!/usr/bin/env bash +# +# Display the source of a script. +# + +# Parameters +BASENAME="`basename $0`" +COMMAND="$1" +PAGER="$2" + +# Check +if [ -z "$COMMAND" ]; then + echo "usage: $BASENAME <command>" +elif [ ! -e "$COMMAND" ]; then + COMMAND="`which $COMMAND 2> /dev/null`" + + if [ -z "$COMMAND" ]; then + echo "$BASENAME: cannot find command" + exit 1 + fi +fi + +# Shebang checker +if head -1 $COMMAND | grep -q '#!'; then + if [ -z "$PAGER" ]; then + cat $COMMAND + elif [ "$PAGER" == "less" ]; then + less $COMMAND + fi +fi @@ -1,4 +1,4 @@ -#/usr/bin/env bash +#!/usr/bin/env bash # # Close a Tomb. # @@ -1,4 +1,4 @@ -#/usr/bin/env bash +#!/usr/bin/env bash # # Open a Tomb. # |