Como definir o PATH para TexLive no Debian Wheezy - How to set the path in Debian Wheezy

1. Como definir o PATH para TexLive no Debian Wheezy - How to set the path in Debian Wheezy

Quintino Lopes Castro Tavares
qcastro

(usa Debian)

Enviado em 22/01/2015 - 07:29h

Bom dia,

É o seguinte, instalei o LiveTex 2014 completo (a partir do instalador do TUG), mas o meu problema está na pós-instalação, acho. Tenho que definir os PATHs (p. ex., PATH=/usr/local/texlive/2014/bin/i386-linux:$PATH) no etc/profile, mas não sei onde, de fato, colocar esse caminhos. Já li alguns dizerem que é no fim e outros que é no começo. Mas fiquei sem saber onde mesmo colocar os paths. Quando abro o profile (como su), o texto (que devem conhecer) é:
###################
# /etc/profile: system-wide .profile file for the Bourne shell (sh(1))
# and Bourne compatible shells (bash(1), ksh(1), ash(1), ...).

if [ "`id -u`" -eq 0 ]; then
PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin"
else
PATH="/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games"
fi
export PATH

if [ "$PS1" ]; then
if [ "$BASH" ] && [ "$BASH" != "/bin/sh" ]; then
# The file bash.bashrc already sets the default PS1.
# PS1='\h:\w\$ '
if [ -f /etc/bash.bashrc ]; then
. /etc/bash.bashrc
fi
else
if [ "`id -u`" -eq 0 ]; then
PS1='# '
else
PS1='$ '
fi
fi
fi

# The default umask is now handled by pam_umask.
# See pam_umask(8) and /etc/login.defs.

if [ -d /etc/profile.d ]; then
for i in /etc/profile.d/*.sh; do
if [ -r $i ]; then
. $i
fi
done
unset i
fi
################
Portanto, em que lugar especificamente escrevo os paths:
export PATH="/usr/local/texlive/2014/bin/i386-linux:$PATH"
export INFOPATH="/usr/local/texlive/2014/texmf-dist/doc/info:$INFOPATH"
export MANPATH="/usr/local/texlive/2014/texmf-dist/doc/man:$MANPATH"

Para que funcione tranquilamente, podendo inclusive atualizar, etc.
Se eu digitasse texlive no terminal, que resposta deveria ter?

P.S. O debian tem livetex no repositório, mas não é o mais atualizado (2012), por isso instalei o de 2014.


  






Patrocínio

Site hospedado pelo provedor RedeHost.
Linux banner

Destaques

Artigos

Dicas

Tópicos

Top 10 do mês

Scripts