changeset 1956:85db0d725f1e

<oerjan> mv newls bin
author HackBot
date Fri, 01 Feb 2013 21:53:19 +0000
parents dd820ac0c081
children ab8d8223c350
files bin/newls newls
diffstat 2 files changed, 1 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/bin/newls	Fri Feb 01 21:53:15 2013 +0000
+++ b/bin/newls	Fri Feb 01 21:53:19 2013 +0000
@@ -1,5 +1,5 @@
 #!/bin/sh
-if [[ "$@" == wisdom || "$@" == wisdom/ ]];
+if [ "$@" = wisdom -o "$@" = wisdom/ ];
 then echo 'As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try `pastewisdom instead.';
 else exec /bin/ls "$@";
 fi
--- a/newls	Fri Feb 01 21:53:15 2013 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,5 +0,0 @@
-#!/bin/sh
-if [ "$@" = wisdom -o "$@" = wisdom/ ];
-then echo 'As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try `pastewisdom instead.';
-else exec /bin/ls "$@";
-fi