1) Do I just type cp .bash_profile .bash_profile.ORIG into the terminal right after I open it?
Sim. Você está essencialmente fazendo uma cópia de backup do seu atual ~/.bash_profile
(supondo que haja um).
2) How do I load it into my text editor?
Depende de qual editor de texto você pretende usar. Eu faço isso:
$ emacs ~/.bash_profile
mas você também pode fazer:
$ gedit ~/.bash_profile
Existem pilhas de editores de texto, é claro, incluindo nano
ou pico
para edição no terminal. Então, é só escolher. Se você não tem um editor favorito, nano
é um bom começo.
Nota:
A linha não deve ser PATH=$Path:
Deve ser:
PATH="$PATH:."
Como Theophrastus diz no comentário, esta é uma prática de segurança horrível e geralmente não deve ser feita. Eu acho que é uma prática melhor para designar um diretório onde você codifica, e um diretório onde os executáveis são stashed para testes e que está em $PATH
. Mas se esta é uma tarefa da escola, eu acho que você deve fazer como seu professor diz.
3) And how do I export it?
Adicione esta linha após a linha $PATH
:
export PATH
Nota: seu professor está errado. Você não precisa reiniciar. Como isso seria possível se você estivesse mantendo um servidor? você expulsaria todo mundo e seus usuários ficariam furiosos! Tudo o que você precisa fazer para carregar em novas configurações é:
$ source ~/.bash_profile
Boa sorte!