diff options
author | Josh Hoyt <josh@janrain.com> | 2006-01-03 21:43:48 +0000 |
---|---|---|
committer | Josh Hoyt <josh@janrain.com> | 2006-01-03 21:43:48 +0000 |
commit | b18d9a87e301c40bac9d45c54b3e07788e465930 (patch) | |
tree | 37458c62893a4a643ed80be19853691806e488b3 | |
parent | 10c5208e53266ffc8a2ce276f405469a8e994b6b (diff) | |
download | php-openid-b18d9a87e301c40bac9d45c54b3e07788e465930.zip php-openid-b18d9a87e301c40bac9d45c54b3e07788e465930.tar.gz php-openid-b18d9a87e301c40bac9d45c54b3e07788e465930.tar.bz2 |
[project @ Added comment to notabs script]
-rw-r--r-- | admin/notabs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/admin/notabs b/admin/notabs index 554e4a2..13af3c1 100644 --- a/admin/notabs +++ b/admin/notabs @@ -1,4 +1,9 @@ #!/usr/bin/env bash +# +# Look in the local directory for PHP files that have tabs in them. If +# there are files with tabs, print the list of files and exit with +# non-zero status. + tabs=$(find ./ \( -name _darcs \) -prune -o \( -type f -a -name \*.php \) | xargs egrep -l ' ' | sort) allowed= |