summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-12-21 23:18:19 +0000
committerKarl Berry <karl@freefriends.org>2019-12-21 23:18:19 +0000
commit83c63420b969b7ed183561d697241f3847986adb (patch)
tree994ff407f86db547addc94b83aa1178fe4042b99 /Master/tlpkg/bin
parent5c2f94c006a089039b922a9b91c8200360f9278f (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-xMaster/tlpkg/bin/tl-try-install10
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