From 4662dbf4240757189a6619cc2b1d7110b0b7ded8 Mon Sep 17 00:00:00 2001 From: Jakob Kaivo Date: Mon, 28 Mar 2022 17:00:30 -0400 Subject: remove shell script alternative menu drivers --- linkmenudriver | 7 ------- 1 file changed, 7 deletions(-) delete mode 100755 linkmenudriver (limited to 'linkmenudriver') diff --git a/linkmenudriver b/linkmenudriver deleted file mode 100755 index 4c832be..0000000 --- a/linkmenudriver +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/sh -rm -f miralib/menudriver -if test -z "`echo -n`" -o ! \( -x /bin/csh -o -x /usr/bin/csh \) -then ln -s menudriver.sh miralib/menudriver -else ln -s menudriver.csh miralib/menudriver -fi -echo `ls -l miralib/menudriver` -- cgit v1.2.1