diff options
Diffstat (limited to 'Master/tlpkg/dev/profiles')
-rw-r--r-- | Master/tlpkg/dev/profiles/TLlink.pro | 21 |
1 files changed, 8 insertions, 13 deletions
diff --git a/Master/tlpkg/dev/profiles/TLlink.pro b/Master/tlpkg/dev/profiles/TLlink.pro index 11259c77d52..87612e07620 100644 --- a/Master/tlpkg/dev/profiles/TLlink.pro +++ b/Master/tlpkg/dev/profiles/TLlink.pro @@ -1,18 +1,14 @@ # $Id$ -# texlive.profile written on Tue Dec 2 17:20:04 2014 UTC -# It will NOT be updated and reflects only the -# installation profile at installation time. -selected_scheme scheme-minimal +# This profile is about making links in system directories. +selected_scheme scheme-infraonly TEXDIR /tmp/ki TEXMFCONFIG /tmp/ki/user/config TEXMFHOME /tmp/ki/user/home TEXMFLOCAL /tmp/ki/texmf-local -TEXMFSYSCONFIG /tmp/ki/texmf-config -TEXMFSYSVAR /tmp/ki/texmf-var +TEXMFSYSCONFIG /tmp/ki/sys/config +TEXMFSYSVAR /tmp/ki/sys/var TEXMFVAR /tmp/ki/user/var -binary_i386-linux 1 -collection-basic 1 -in_place 0 +binary_x86_64-linux 1 option_adjustrepo 0 option_autobackup 1 option_backupdir tlpkg/backups @@ -21,13 +17,12 @@ option_doc 1 option_file_assocs 1 option_fmt 0 option_letter 0 -option_menu_integration 1 option_path 1 option_post_code 1 option_src 0 -option_sys_bin /tmp/ki/sysbin -option_sys_info /tmp/ki/sysinfo -option_sys_man /tmp/ki/sysman +option_sys_bin /tmp/trysys/bin +option_sys_info /tmp/trysys/info +option_sys_man /tmp/trysys/man option_w32_multi_user 1 option_write18_restricted 1 portable 0 |