diff options
-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. # |