summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/tl-try-install
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/bin/tl-try-install')
-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