diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2024-08-20 20:44:34 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2024-08-20 20:44:34 -0300 |
| commit | e851401694daacaf1aba2c87ed557e5dbf00af02 (patch) | |
| tree | d772b15f3a5ba9e015936f7162f448a7208a4001 /catcode | |
| parent | d6a4d78d31ffa57e00a7d5b0a87baa38156cee06 (diff) | |
| download | scripts-e851401694daacaf1aba2c87ed557e5dbf00af02.tar.gz scripts-e851401694daacaf1aba2c87ed557e5dbf00af02.tar.bz2 | |
Move scripts to other repositories
Diffstat (limited to 'catcode')
| -rwxr-xr-x | catcode | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/catcode b/catcode deleted file mode 100755 index fb3b99d..0000000 --- a/catcode +++ /dev/null @@ -1,30 +0,0 @@ -#!/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 |