# HG changeset patch # User HackBot # Date 1434087558 0 # Node ID e7607537680767ec1025db268179926ae76b547a # Parent f76859391a5a45e0f12f1050e10f4b67f0671086 revert diff -r f76859391a5a -r e76075376807 bin/ls --- a/bin/ls Fri Jun 12 05:38:53 2015 +0000 +++ b/bin/ls Fri Jun 12 05:39:18 2015 +0000 @@ -1,1 +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 /bin/ls in private instead."; else exec -a ls /bin/ls "$@"; fi +#!/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