# HG changeset patch
# User HackBot
# Date 1462716567 0
# Node ID 50502801302288c988ec3cca8596a86a5a6b0cfd
# Parent  768fc796b5697a18b913ab5c0bd489e0a089244f
<int-e> ` sed -i \'s=(ls=(/bin/ls=\' bin/ls

diff -r 768fc796b569 -r 505028013022 bin/ls
--- 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