Perguntas com a marcação «.bash-profile»

.bash_profile é um dos scripts que o shell Bash lê e executa quando iniciado como um shell de logon interativo.

37
Perfil do MinGW Bash

Eu uso o MinGW no Windows 7. Eu tenho um .bashrccom alguns aliases. O arquivo está na minha pasta pessoal, onde o MinGW me inicia, e também acredita que a pasta é minha pasta pessoal. Não carrega o conteúdo da pasta automaticamente. Eu tenho que executar o bashcomando para obter os aliases para...

36
Como posso corrigir um erro de tubo quebrado?

Eu reinstalei recentemente o RVM (seguindo as instruções em http://rvm.io ) após uma nova instalação do Ubuntu 12.10 quando obtive uma unidade SSD. Agora, quando eu digito: type rvm | head -1 Eu recebo o seguinte erro: rvm is a function -bash: type: write error: Broken pipe Mas se eu repetir...

12
Sincronizando perfil bash entre computadores

Eu tenho toneladas de coisas no meu .bash_profile. O problema é que eu uso ~ 3 computadores com muita frequência e estou cansado de copiar e colar meus prefs em todos os lugares. Dois deles rodam o Ubuntu 10.10 e o outro OSX. Fiquei me perguntando se havia uma maneira de usar o Dropbox, para...

5
Bash Profile Coloring

Eu gostaria de fazer algumas alterações no meu perfil bash. Alterações que gostaria de incluir: Arquivos para colorir: Eu gostaria que os arquivos com o bit de permissão de execução definido fossem coloridos em verde. Gostaria de saber como atribuir diferentes extensões de arquivo a cores...