view bin/ls @ 4491:8f760d2d3e9d

<ion> sed -i -re \'s/echo ("?)\\$[@*]\\1 /print_args_or_input "$@" /g\' "bin/^.^" bin/aaaaaaaaa; cat "bin/^.^" bin/aaaaaaaaa
author HackBot
date Sat, 22 Feb 2014 02:37:17 +0000
parents 14b11efeb271
children
line wrap: on
line source

#!/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