Ir para o conteúdo
rgcaldas

[Linux][Duvida] Inserir directoria no PATH

Mensagens Recomendadas

rgcaldas    0
rgcaldas

Boas

Esta até parece brincadeira, mas não estou a conseguir colocar uma directoria no PATH.

Já coloquei isto:

PATH=$PATH:/usr/local/texlive/2007/bin/i386-linux/;export PATH

nos ficheiros:

- ~/.bash_profile

- /etc/profile

A disto que tenho é Debian, alguém me diz o que estou a fazer de errado?

Obrigado

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites
Rui Carlos    310
Rui Carlos

experimenta

PATH="$PATH:/usr/local/texlive/2007/bin/i386-linux/"
export PATH

se não funcionar, podes ainda experimentar tirar a '/' do fim (se bem que acho que isso não faz diferença).

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites
rgcaldas    0
rgcaldas

Não funcionou  :cheesygrin:

Mas os estranho é que se eu colocar a mesma linha num terminal, funciona, só durante a sessão como é óbvio.

Eu estou a usar o XFCE. É possível os ficheiros que são chamado no login serem diferentes?

Existe outro ficheiro, para além do .bash_profile do utilizador e o /etc/profile, que possam servir para adicionar ao algo PATH?

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites
Rui Carlos    310
Rui Carlos

há terminais que usam o ficheiro '~/.bashrc' em vez de '~/.bash_profile', mas, que eu saiba, todos usam também o '/etc/profile'.

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites
rgcaldas    0
rgcaldas

# /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/games"
fi

if [ "$PS1" ]; then
  if [ "$BASH" ]; then
    PS1='\u@\h:\w\$ '
  else
    if [ "`id -u`" -eq 0 ]; then
      PS1='# '
    else
      PS1='$ '
    fi
  fi
fi

PATH="$PATH:/usr/local/texlive/2007/bin/i386-linux/"

export PATH

umask 022

Este é o conteúdo do /etc/profile

Poderá ser alguma questão de permissões?

Partilhar esta mensagem


Link para a mensagem
Partilhar noutros sites

Crie uma conta ou ligue-se para comentar

Só membros podem comentar

Criar nova conta

Registe para ter uma conta na nossa comunidade. É fácil!

Registar nova conta

Entra

Já tem conta? Inicie sessão aqui.

Entrar Agora


×

Aviso Sobre Cookies

Ao usar este site você aceita os nossos Termos de Uso e Política de Privacidade