.BASH_PROFILE Extensión de archivo
Archivo de shell de inicio de sesión interactivo de Bash
| Desarrollador | The GNU Project |
| Popularidad |
3.7 | 30 Votos |
¿Qué es un archivo BASH_PROFILE?
Shell utilizado por los programas de terminal de Mac OS X y Linux; almacena instrucciones de configuración para el entorno del shell, como variables de entorno y scripts predeterminados que se ejecutarán; se utiliza habitualmente para establecer las preferencias del símbolo del sistema del usuario, así como las rutas del sistema de archivos para directorios y archivos binarios de programas.
Más información
Los archivos BASH_PROFILE se ejecutan automáticamente en shells interactivos de inicio de sesión. En otras palabras, se ejecutan después de que un usuario inicia sesión con sus credenciales, o cuando se crea una nueva ventana de terminal. Esto difiere de los archivos .BASHRC, que solo se ejecutan cuando los scripts de shell de Bash se ejecutan dentro de un terminal que ya está abierto.
Dado que los usuarios suelen querer ejecutar los archivos BASH_PROFILE y BASHRC al iniciar sesión, a menudo incluyen el siguiente segmento en el archivo BASH_PROFILE, que fuerza la ejecución del archivo BASHRC cuando solo se ejecuta el archivo BASH_PROFILE:
if [ -f ~/.bashrc ]. Then
source ~/.bashrc
fi
NOTA: Los archivos BASH_PROFILE están ocultos en el directorio de inicio del usuario y no contienen un prefijo de nombre de archivo. Siempre utilizan el nombre de archivo .bash_profile.