annotate bin/ls @ 8254:0ce6ec3bab82

<shachaf> forget chaf
author HackBot
date Wed, 01 Jun 2016 04:15:10 +0000
parents 505028013022
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5643
56dcce63901b <tswett> revert
HackBot
parents:
diff changeset
1 #!/bin/bash
7979
505028013022 <int-e> ` sed -i \'s=(ls=(/bin/ls=\' bin/ls
HackBot
parents: 7926
diff changeset
2 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