# HG changeset patch # User HackBot # Date 1364760544 0 # Node ID ab26ba5c759f7bbf8917b210c16d08e515868094 # Parent 4f8e28a0539a9f2418d0b6ea76ed24fc56660892 sed -i \'1s/sh/bash/\' bin/ls diff -r 4f8e28a0539a -r ab26ba5c759f bin/ls --- a/bin/ls Sun Mar 31 20:07:43 2013 +0000 +++ b/bin/ls Sun Mar 31 20:09:04 2013 +0000 @@ -1,2 +1,2 @@ -#!/bin/sh +#!/bin/bash if /bin/ls -id "$@" 2>/dev/null | grep -q ^752129 ; 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