# HG changeset patch
# User HackBot
# Date 1462584383 0
# Node ID e8784ab49e3607192a716643b0bef6155f006598
# Parent  2c335d004eab8809a909583ae087535cab145ad0
<shachaf> ` sed -i \'s#-d  #-d\\\\  #\' bin/ls

diff -r 2c335d004eab -r e8784ab49e36 bin/ls
--- a/bin/ls	Sat May 07 01:24:39 2016 +0000
+++ b/bin/ls	Sat May 07 01:26:23 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 ^"$(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