# HG changeset patch # User HackEso # Date 1573781169 0 # Node ID f6fe795a3a84cc51205ceda77deeef1f7f251919 # Parent 4991b46f974ff7c5063c3abbfaf3520b13037a2f sled bin/ls//s,;, && "$IRC_TARGET" == #*;, diff -r 4991b46f974f -r f6fe795a3a84 bin/ls --- a/bin/ls Fri Nov 15 01:12:41 2019 +0000 +++ b/bin/ls Fri Nov 15 01:26:09 2019 +0000 @@ -1,2 +1,2 @@ #!/bin/bash -if /bin/ls -id "$@" 2>/dev/null | grep -q ^"$(/bin/ls -id /hackenv/wisdom | cut -d\ -f 1)" ; then echo 'As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try listing it in private instead.'; else exec -a ls /bin/ls "$@"; fi +if /bin/ls -id "$@" 2>/dev/null | grep -q ^"$(/bin/ls -id /hackenv/wisdom | cut -d\ -f 1)" ;; "$IRC_TARGET" == #*; then echo 'As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try listing it in private instead.'; else exec -a ls /bin/ls "$@"; fi