diff options
author | Karl Berry <karl@freefriends.org> | 2008-05-18 17:37:05 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-05-18 17:37:05 +0000 |
commit | 6457649d9ea5a1f39675d0d46dc2728e289985cc (patch) | |
tree | fa488c15a3c61982a52c0710250d0fcb3e2d837e /Build/source/texk/kpathsea/mktexlsr | |
parent | c190876ab91c373a2861cde3d958987ff81fc498 (diff) |
ignore more than just .svn
git-svn-id: svn://tug.org/texlive/trunk@8210 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/kpathsea/mktexlsr')
-rwxr-xr-x | Build/source/texk/kpathsea/mktexlsr | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/Build/source/texk/kpathsea/mktexlsr b/Build/source/texk/kpathsea/mktexlsr index 9f729e4d495..bc2affca10c 100755 --- a/Build/source/texk/kpathsea/mktexlsr +++ b/Build/source/texk/kpathsea/mktexlsr @@ -13,7 +13,7 @@ # <te@dbs.uni-hannover.de>, Okt., 1994. # Public domain. -version='$Id: mktexlsr,v 1.46 2005/06/21 14:32:26 olaf Exp $' +version='$Id$' progname=`echo $0 | sed 's%.*/%%'` usage="Usage: $progname [DIR]... @@ -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. |