# HG changeset patch # User HackBot # Date 1383151516 0 # Node ID 631fd694de4e3aebd93c7adac457953c3785c563 # Parent 2d4b6106fd0c65c915dd938d5adae4a8403c8703 mv bin/ls\\ bin/ls diff -r 2d4b6106fd0c -r 631fd694de4e bin/ls --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/bin/ls Wed Oct 30 16:45:16 2013 +0000 @@ -0,0 +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 diff -r 2d4b6106fd0c -r 631fd694de4e bin/ls --- a/bin/ls Wed Oct 30 15:01:03 2013 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,2 +0,0 @@ -#!/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