From e851401694daacaf1aba2c87ed557e5dbf00af02 Mon Sep 17 00:00:00 2001
From: Silvio Rhatto <rhatto@riseup.net>
Date: Tue, 20 Aug 2024 20:44:34 -0300
Subject: Move scripts to other repositories

---
 catcode | 30 ------------------------------
 1 file changed, 30 deletions(-)
 delete mode 100755 catcode

(limited to 'catcode')

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
-- 
cgit v1.2.3