summaryrefslogtreecommitdiff
path: root/Master/bin/i386-linux/mktexlsr
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2008-05-18 17:37:05 +0000
committerKarl Berry <karl@freefriends.org>2008-05-18 17:37:05 +0000
commit6457649d9ea5a1f39675d0d46dc2728e289985cc (patch)
treefa488c15a3c61982a52c0710250d0fcb3e2d837e /Master/bin/i386-linux/mktexlsr
parentc190876ab91c373a2861cde3d958987ff81fc498 (diff)
ignore more than just .svn
git-svn-id: svn://tug.org/texlive/trunk@8210 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/i386-linux/mktexlsr')
-rwxr-xr-xMaster/bin/i386-linux/mktexlsr15
1 files changed, 8 insertions, 7 deletions
diff --git a/Master/bin/i386-linux/mktexlsr b/Master/bin/i386-linux/mktexlsr
index 9f729e4d495..1d16156b78a 100755
--- a/Master/bin/i386-linux/mktexlsr
+++ b/Master/bin/i386-linux/mktexlsr
@@ -138,18 +138,19 @@ for TEXMFLS_R in "$@"; do
echo "$ls_R_magic" >"$db_file_tmp"
# The main task. We put ./: in the output, so top-level files can be
- # found via ls-R. Probably irrelevant in practice.
- # The sed command inserts the leading ./ for directory names, and
- # removes ., .., and .svn entries from the list. Also omit contents
- # of any .svn directories; sed apparently requires that we do that
- # operation in a separate invocation.
- # We do not try to support colons in directory names.
+ # found via ls-R. Probably irrelevant in practice. The sed command
+ # inserts the leading ./ for directory names, and removes ., .., and
+ # version control entries from the list. Also omit contents of any
+ # the version directories; sed apparently requires that we do that
+ # operation in a separate invocation. We do not try to support colons
+ # in directory names.
#
echo "./:" >>"$db_file_tmp"
+ vc_dirs='\.\(bzr\|git\|hg\|svn\)\|CVS\|RCS\|_darcs'
(cd "$TEXMFLS_R" && \ls -LRa 2>/dev/null) \
| sed -e '/^$/{n;s%^\./%%;s%^%./%;}; /^\.$/d; /^\.\.$/d; /^\.svn$/d;' \
-e '/^[\.\/]*lsR[0-9]*\.tmp:*$/d' \
- | sed -e '/\.svn.*:$/,/^$/d' \
+ | sed -e /$vc_dirs'.*:$/,/^$/d' \
>>"$db_file_tmp"
# To be really safe, a loop.