diff options
author | Karl Berry <karl@freefriends.org> | 2018-03-29 21:59:47 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-03-29 21:59:47 +0000 |
commit | e70df40038af56001965f580c914f7eb2ed6a512 (patch) | |
tree | 95c2adbdf9a80a13bb1d996e5a1c13b6cd1fa0cf /Master/tlpkg/bin/tl-try-install | |
parent | 821b7906ec814c447bf032ade02c467f12de31b5 (diff) |
doc,test
git-svn-id: svn://tug.org/texlive/trunk@47181 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tl-try-install')
-rwxr-xr-x | Master/tlpkg/bin/tl-try-install | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/Master/tlpkg/bin/tl-try-install b/Master/tlpkg/bin/tl-try-install index ca89fd7bf06..a677dbef25f 100755 --- a/Master/tlpkg/bin/tl-try-install +++ b/Master/tlpkg/bin/tl-try-install @@ -1,9 +1,8 @@ -#!/bin/sh +#!/bin/sh -vx # $Id$ # Try a TL installation with various profiles into /tmp/ki. Public domain. renice 20 $$ >&/dev/null -cd $HOME || exit 1 # don't let cwd interfere instdir=/tmp/ki # in .pro files too rm -rf $instdir* && echo "removed $instdir*." @@ -14,11 +13,16 @@ rm -rf $instdir* && echo "removed $instdir*." mydir=`cd \`dirname "$0"\` && pwd` # Master/tlpkg/bin Master=`cd $mydir/../.. && pwd` + +# don't let cwd interfere +cd "$HOME" || exit 1 + +#Master=$tm #`cd $mydir/../.. && pwd` # thisrel=/usr/local/texlive/`date +%Y` # not necessarily, but whatever prevrel=/usr/local/texlive/`expr "$(date +%Y)" - 1` -pro=--profile=$Master/tlpkg/dev/profiles/TLinfra.pro #infra min small ... +pro=--profile=$Master/tlpkg/dev/profiles/TLinfra.pro #infra min small ... full exec time $Master/install-tl $pro exec time $lp/install-tl $pro exec time $lp/install-tl $pro --repo ftp://ftp.cstug.cz/pub/tex/local/tlpretest |