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

---
 repl | 31 -------------------------------
 1 file changed, 31 deletions(-)
 delete mode 100755 repl

(limited to 'repl')

diff --git a/repl b/repl
deleted file mode 100755
index 4afca89..0000000
--- a/repl
+++ /dev/null
@@ -1,31 +0,0 @@
-#!/bin/bash
-#
-# Generic read-eval-print loop script.
-#
-
-# Parameters
-BASENAME="`basename $0`"
-
-# Shell
-function _repl {
-  local last_exit_code="0"
-  local command="$1"
-
-  shift
-
-  # While Ctrl-C isn't typed, read STDIN and invoke a command
-  while read -rep "${last_exit_code} ${command}> " STDIN; do
-    history -s "$STDIN"
-    ${command} $* ${STDIN[@]}
-    last_exit_code="$?"
-  done
-}
-
-# Check
-if [ -z "$1" ]; then
-  echo "usage: $BASENAME <command> [base-args]"
-  exit 1
-fi
-
-# Dispatch
-_repl $*
-- 
cgit v1.2.3