diff options
Diffstat (limited to 'Master/tlpkg/bin/tl-try-install')
-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 |