# HG changeset patch # User HackBot # Date 1383152636 0 # Node ID 3ac74d492f746fe7a0c80a3f8be53f034d38fd25 # Parent 631fd694de4e3aebd93c7adac457953c3785c563 sed -i \'s#`pastewisdom#https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf#\' bin/ls # ought to work diff -r 631fd694de4e -r 3ac74d492f74 bin/ls --- a/bin/ls Wed Oct 30 16:45:16 2013 +0000 +++ b/bin/ls Wed Oct 30 17:03:56 2013 +0000 @@ -1,2 +1,2 @@ #!/bin/bash -if /bin/ls -id "$@" 2>/dev/null | grep -q ^969195 ; then echo 'As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try `pastewisdom instead.'; else exec -a ls /bin/ls "$@"; fi +if /bin/ls -id "$@" 2>/dev/null | grep -q ^969195 ; 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