diff options
| author | Karl Berry <karl@freefriends.org> | 2019-03-17 21:54:02 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2019-03-17 21:54:02 +0000 |
| commit | a79da32935834f42057e258d22bb90e8ed7e65aa (patch) | |
| tree | 5a572359444a579b30b73e8a3844b01afe47ff22 /Master/tlpkg/bin/ctan2tl | |
| parent | 5698059f8aa4109c8f98d166ef398f04c515b022 (diff) | |
webquiz deref/remove symlinks
git-svn-id: svn://tug.org/texlive/trunk@50431 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/ctan2tl')
| -rwxr-xr-x | Master/tlpkg/bin/ctan2tl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/ctan2tl b/Master/tlpkg/bin/ctan2tl index d14e079eec1..3b274800162 100755 --- a/Master/tlpkg/bin/ctan2tl +++ b/Master/tlpkg/bin/ctan2tl @@ -158,6 +158,9 @@ fi # check for file names differing in case only. find $pkg \( -name .svn \) -prune -o -print | sort -f | uniq -i -d >&2 +# check for symlinks +find $pkg -type l -ls | grep -v /Master/bin | sort >&2 + # show list of files (and tee to tmp). find $pkg \! -type d -printf "%TY%Tm%Td.%TH%TM %p\n" | sort -k2 \ | tee ${TMPDIR-/tmp}/ctan2tl.files |