Perguntas sobre 'bashrc'

Tags
.bashrc é o arquivo de configuração do shell Bash para a sessão de login do usuário.
3
respostas

Como restaurar o arquivo .bashrc?

O terminal mostra isso quando é aberto: bash: /home/atlas/.bashrc: line 73: syntax error near unexpected token '[' bash: /home/atlas/.bashrc: line 73: 'if [ -x /usr/bin/dircolors ] ; then ' Eu tentei corrigi-lo usando: cp /ect/skel/.ba...
11.10.2012 / 01:12
4
respostas

Configure o gnome-terminal para iniciar o bash como um shell de login, não leia .bashrc

Estou tentando integrar o RVM ao gnome-terminal . Por padrão, o gnome-terminal não inicia o bash como um shell de login. Eu habilitei run command as a login shell como sugerido em esta resposta sobre o mesmo tópico que configura o RVM,...
05.05.2012 / 21:25
3
respostas

O que significa “[[$ -! = * i *]] && return” significa?

Eu tenho essa linha no meu .bashrc e gostaria de saber exatamente o que isso significa # If not running interactively, don't do anything [[ $- != *i* ]] && return     
24.09.2016 / 15:18
5
respostas

Como (e onde) pode-se mudar o padrão 'user @ host $:' no gnome-terminal?

Quando eu inicio o terminal no Ubuntu, vejo: ilya@HOST:~$ Eu preciso adicionar um timestamp para isso, algo como: 2011-10-09T09:32:00 ilya@HOST:~$ Como posso configurar isso?     
09.10.2011 / 18:34
4
respostas

Como obter histórico bashed compartilhado entre diferentes guias

Eu usei a resposta no link para ativar o histórico compartilhado em tempo real entre os terminais bash separados. Conforme explicado na resposta acima, isso é conseguido adicionando: # avoid duplicates.. export HISTCONTROL=ignoredups:erased...
23.06.2013 / 20:25
3
respostas

Variável PATH permanente

Como vou tornar esta variável /media/De Soft/mongodb/bin PATH permanente? Todo mundo está dizendo export PATH=$PATH:media/De\ Soft/mongodb/bin to your ~/.profile, or .bashrc, or .zshenv dependendo do seu shell. Eu não sei o que é ~ / .p...
21.07.2014 / 21:37
4
respostas

Como eu ensino bash no Ubuntu algumas palavrões?

Quando o bash encontra um comando desconhecido (word?) ele faz isso: The program 'hello' can be found in the following packages: * hello * hello-debhelper Try: sudo apt-get install <selected package> O que eu gostaria de saber é c...
28.10.2011 / 19:11
1
resposta

Adicione a variável de ambiente ao .bashrc através do script

Eu preciso adicionar as seguintes linhas ao final do arquivo .bashrc no Ubuntu. Como posso adicionar essas linhas automaticamente usando um script. Se eu executar o script, ele inserirá automaticamente as linhas no final do arquivo .bashrc. e...
04.11.2012 / 11:41
3
respostas

Como posso predefinir aliases para todos os usuários?

Eu tenho o Ubuntu 14.04.2. Eu quero fazer com que todos os usuários tenham automaticamente um conjunto específico de aliases. Eu tenho meus aliases definidos no meu .bashrc pessoal, mas não quero ter que copiá-los manualmente para os outros usuá...
16.04.2015 / 16:15
2
respostas

Posso criar um arquivo de histórico bash separado para cada perfil de terminal?

Eu uso um script bash para iniciar o gnome-terminal com várias guias, cada guia usando um perfil diferente, um diretório de trabalho e, em alguns casos, executando um comando na guia. Nesta situação, eu gostaria que a tecla de seta para cima...
10.01.2012 / 22:03