.BASH_PROFILE Extensão de arquivo
Arquivo de shell de login interativo do Bash
| Desenvolvedor | The GNU Project |
| Popularidade |
3,7 | 31 Votos |
O que é um arquivo BASH_PROFILE?
Shell usado por programas de terminal do Mac OS X e Linux; armazena instruções de configuração para o ambiente do shell, como variáveis de ambiente e scripts padrão a serem executados; comumente usado para definir as preferências do prompt de comando do usuário, bem como os caminhos do sistema de arquivos para diretórios e binários de programas.
Mais informações
Os arquivos BASH_PROFILE são executados automaticamente para logins interativos do shell. Em outras palavras, eles são executados depois que um usuário entra com suas credenciais de login ou quando uma nova janela do terminal é criada. Isso difere dos arquivos .BASHRC, que são executados somente quando scripts do shell Bash são executados dentro de um terminal que já está aberto.
Como os usuários geralmente querem executar os arquivos BASH_PROFILE e BASHRC ao fazer login, eles costumam incluir o seguinte segmento no arquivo BASH_PROFILE, que força a execução do arquivo BASHRC quando somente o arquivo BASH_PROFILE é executado:
if [ -f ~/.bashrc ]. Then
source ~/.bashrc
fi
NOTA: Os arquivos BASH_PROFILE ficam ocultos no diretório inicial do usuário e não contêm um prefixo de nome de arquivo. Eles sempre usam o nome de arquivo .bash_profile.