diff options
author | Karl Berry <karl@freefriends.org> | 2019-03-21 22:55:16 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-03-21 22:55:16 +0000 |
commit | 7f9f41da9cef87b2c7eb9cd7fc2c05fbe8da77a7 (patch) | |
tree | 1bd09d0009f1f1cccba1065300f7924483162da9 /Master/tlpkg | |
parent | 4b76b542437c3cb32cf5e4488d0c298eba7341eb (diff) |
omit path adjustment text if system symlinks were installed, suggestion from Denis Bitouze
git-svn-id: svn://tug.org/texlive/trunk@50519 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/bin/tl-try-install | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/tl-try-install b/Master/tlpkg/bin/tl-try-install index d83874b5170..e1e1f6814ec 100755 --- a/Master/tlpkg/bin/tl-try-install +++ b/Master/tlpkg/bin/tl-try-install @@ -13,15 +13,15 @@ rm -rf $instdir* && echo "removed $instdir*." real0=`realpath $0` mydir=`cd \`dirname "$real0"\` && pwd` # Master/tlpkg/bin -echo "mydir=$mydir" Master=`cd $mydir/../.. && pwd` +profiledir=$Master/tlpkg/dev/profiles # don't let cwd or existing PATH interfere cd "$HOME" || exit 1 PATH=/usr/local/bin:/usr/bin:/bin # /usr/local/bin for good perl on tug set -x -pro=--profile=${1-$Master/tlpkg/dev/profiles/TLinfra+none.pro} #infra min ... full +pro=--profile=${1-$profiledir/TLinfra.pro} #infra min ... full exec time $Master/install-tl $pro cust=--custom-bin=$wb exec time $Master/install-tl $cust $pro |