changeset 5549:f76859391a5a

<zzo38> `` echo \'#!/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/ls
author HackBot
date Fri, 12 Jun 2015 05:38:53 +0000
parents 97ac00a2a3af
children e76075376807
files bin/ls
diffstat 1 files changed, 1 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/bin/ls	Fri Jun 12 03:38:19 2015 +0000
+++ b/bin/ls	Fri Jun 12 05:38:53 2015 +0000
@@ -1,2 +1,1 @@
-#!/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
+#!/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