diff options
author | Karl Berry <karl@freefriends.org> | 2019-12-21 23:18:19 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-12-21 23:18:19 +0000 |
commit | 83c63420b969b7ed183561d697241f3847986adb (patch) | |
tree | 994ff407f86db547addc94b83aa1178fe4042b99 /Master/tlpkg/bin | |
parent | 5c2f94c006a089039b922a9b91c8200360f9278f (diff) |
TLUtils.pm (texdir_check): return failure if given $texdir contains
various characters special to kpathsea expansion, such as ,$:{};{}\
If passed new optional second argument, print a message saying so.
install-menu-text.pl (directories_menu, main_menu): pass the second
argument to texdir_check.
TLPOBJ.pm, TeXCatalogue.pm: doc updates.
tl-try-install: accept -p and -r for profile and repo;
also check $profiledir/$profile.pro for convenience.
TLcomma.pro: new test profile (fails, as expected).
This is in response to a query from Victor Kong on the tex-live list:
https://tug.org/pipermail/tex-live/2019-December/044586.html
git-svn-id: svn://tug.org/texlive/trunk@53204 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin')
-rwxr-xr-x | Master/tlpkg/bin/tl-try-install | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Master/tlpkg/bin/tl-try-install b/Master/tlpkg/bin/tl-try-install index 14af442aead..9a115528ebb 100755 --- a/Master/tlpkg/bin/tl-try-install +++ b/Master/tlpkg/bin/tl-try-install @@ -22,10 +22,10 @@ repo=$Master while test $# -gt 0; do case $1 in - --profile) shift; profile=$1;; - --repo) shift; repo=$1;; - --help) echo "ustl. sorry."; exit 0;; - --version) echo "$vc_id"; exit 0;; + -p|--profile) shift; profile=$1;; + -r|--repo) shift; repo=$1;; + --help) echo "ustl. sorry."; exit 0;; + --version) echo "$vc_id"; exit 0;; *) echo "$0: unrecognized option \`$1'." >&2 exit 1;; esac @@ -36,6 +36,8 @@ if test ! -f "$profile"; then # convenience silliness if test -f "$profiledir/$profile"; then profile=$profiledir/$profile + elif test -f "$profiledir/$profile.pro"; then + profile=$profiledir/$profile.pro elif test -f "$profiledir/TL$profile"; then profile=$profiledir/TL$profile elif test -f "$profiledir/TL$profile.pro"; then |