--- a/bin/ls	Sun May 08 14:00:57 2016 +0000
+++ b/bin/ls	Sun May 08 14:09:27 2016 +0000
@@ -1,2 +1,2 @@
 #!/bin/bash
-if /bin/ls -id "$@" 2>/dev/null | grep -q ^"$(ls -id /hackenv/wisdom | cut -d\  -f 1)" ; then echo 'As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try listing it in private instead.'; else exec -a ls /bin/ls "$@"; fi
+if /bin/ls -id "$@" 2>/dev/null | grep -q ^"$(/bin/ls -id /hackenv/wisdom | cut -d\  -f 1)" ; then echo 'As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try listing it in private instead.'; else exec -a ls /bin/ls "$@"; fi