# HG changeset patch
# User HackBot
# Date 1359755599 0
# Node ID 85db0d725f1e23e9e6c90e1ed251f28aaac0f284
# Parent  dd820ac0c0815e0f4ef54cba8a28774db51590bb
<oerjan> mv newls bin

diff -r dd820ac0c081 -r 85db0d725f1e bin/newls
--- 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
diff -r dd820ac0c081 -r 85db0d725f1e newls
--- 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