como fazer as mudanças na fonte .profile permanent [duplicate]

0

Estou seguindo os seguintes detalhes de outra pergunta neste site

You can add an alias to the command by editing the file .profile in your home directory:

gedit $HOME/.profile

and adding the following line:

alias lock='gnome-screensaver-command -l'

Then from terminal:

source .profile

This will activate the alias. From now on, the alias lock In a terminal will have the effect of locking the screen.

Mas eu tenho que bater fonte .profile toda vez que eu abrir um novo terminal. Eu quero fazer isso permanente. O que devo fazer?

    
por Ishan Srivastava 29.08.2017 / 18:05

3 respostas

1

Depois de alterar o arquivo .profile , você precisa fazer o logout da sua conta e fazer o login, então ele será originado uma vez automaticamente.

Verifique também se esse arquivo não existe em seu diretório pessoal:

~/.bash_profile
~/.bash_login

Se você tiver esses arquivos, o .profile será ignorado.

    
por Ravexina 29.08.2017 / 18:34
1

~/.profile é avaliado (ou “originado”) automaticamente sempre que um novo shell interativo é iniciado. A sugestão para executar

source .profile

refere-se apenas às sessões de shell que foram iniciadas antes que as alterações em ~/.profile fossem feitas.

Portanto, você não precisa fazer nada além disso para que essas alterações entrem em vigor em novas / futuras sessões de shell.

    
por David Foerster 29.08.2017 / 18:45
1

Eu diria que aliases devem ir em ~/.bash_aliases ao invés de ~/.profile , desta forma você tem um arquivo próprio legal para eles e cada novo terminal aberto os executará sem a necessidade de efetuar logout / login.

Mas, para responder à sua pergunta: Para tornar as alterações permanentes, você não precisa fazer nada além de fazer login novamente. source ~/.profile não será mais necessário.

    
por dessert 29.08.2017 / 18:37