# HG changeset patch
# User HackBot
# Date 1434087694 0
# Node ID 6aec7f113dd59049667c019e1137c389c1c160c0
# Parent  e7607537680767ec1025db268179926ae76b547a
<zzo38> `` sed -i \'s/https.*wisdom.pdf/listing it in private/\' bin/ls

diff -r e76075376807 -r 6aec7f113dd5 bin/ls
--- a/bin/ls	Fri Jun 12 05:39:18 2015 +0000
+++ b/bin/ls	Fri Jun 12 05:41:34 2015 +0000
@@ -1,2 +1,2 @@
 #!/bin/bash
-if /bin/ls -id "$@" 2>/dev/null | grep -q ^790887 ; then echo 'As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf instead.'; else exec -a ls /bin/ls "$@"; fi
+if /bin/ls -id "$@" 2>/dev/null | grep -q ^790887 ; 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