diff options
Diffstat (limited to 'data/files.sh')
-rwxr-xr-x | data/files.sh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/data/files.sh b/data/files.sh new file mode 100755 index 0000000..11c6b01 --- /dev/null +++ b/data/files.sh @@ -0,0 +1,18 @@ +#!/bin/sh +# Lists interesting files in package in $1. Output can be modified by setting $2 to "-print0". By default it lists all +# files that are usually not part of the repository. This can be reverted by setting $3 to "!". For example: +# +# $ ./files.sh start -print ! +# +# Will list all "non-binary" files that are below 'start/' directory. In case of unmodified state of the repository this +# means a couple of *.def files. + +test -d "$1" || exit 1 +exec find "$1" -type f -a $3 \( \ + -iname '*.pcx' -o \ + -iname '*.jpg' -o \ + -iname '*.mag' -o \ + -iname '*.wav' -o \ + -iname '*.pal' -o \ + -iname '*.ogg' -o \ + -iname '*.ipl' \) ${2:--print} |