diff options
Diffstat (limited to 'texlive')
| -rw-r--r-- | texlive/texlive.profile | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/texlive/texlive.profile b/texlive/texlive.profile new file mode 100644 index 0000000..7868bd0 --- /dev/null +++ b/texlive/texlive.profile @@ -0,0 +1,31 @@ +# texlive.profile written on Fri Apr 10 11:27:58 2020 UTC +# It will NOT be updated and reflects only the +# installation profile at installation time. +selected_scheme scheme-custom +TEXDIR /usr/local/texlive/2020 +TEXMFCONFIG ~/.texlive2020/texmf-config +TEXMFHOME ~/texmf +TEXMFLOCAL /usr/local/texlive/texmf-local +TEXMFSYSCONFIG /usr/local/texlive/2020/texmf-config +TEXMFSYSVAR /usr/local/texlive/2020/texmf-var +TEXMFVAR ~/.texlive2020/texmf-var +binary_x86_64-linux 1 +collection-basic 1 +instopt_adjustpath 0 +instopt_adjustrepo 1 +instopt_letter 0 +instopt_portable 0 +instopt_write18_restricted 1 +tlpdbopt_autobackup 1 +tlpdbopt_backupdir tlpkg/backups +tlpdbopt_create_formats 1 +tlpdbopt_desktop_integration 1 +tlpdbopt_file_assocs 1 +tlpdbopt_generate_updmap 0 +tlpdbopt_install_docfiles 1 +tlpdbopt_install_srcfiles 1 +tlpdbopt_post_code 1 +tlpdbopt_sys_bin /usr/local/bin +tlpdbopt_sys_info /usr/local/share/info +tlpdbopt_sys_man /usr/local/share/man +tlpdbopt_w32_multi_user 1 |