Cómo recargar .bash_profile desde la línea de comando

Resuelto markdorison asked hace 13 años • 15 respuestas

¿ Cómo puedo recargar el archivo .bash_profile desde la línea de comando ?

Puedo hacer que el shell reconozca los cambios en .bash_profile saliendo y volviendo a iniciar sesión, pero me gustaría poder hacerlo a pedido.

markdorison avatar Jan 06 '11 02:01 markdorison
Aceptado

Simplemente escriba source ~/.bash_profile.

Alternativamente, si desea guardar las pulsaciones de teclas, puede escribir . ~/.bash_profile.

SiegeX avatar Jan 05 '2011 19:01 SiegeX
. ~/.bash_profile

Solo asegúrese de no tener ninguna dependencia del estado actual allí.

Carl Norum avatar Jan 05 '2011 19:01 Carl Norum

Simplemente escriba:

. ~/.bash_profile

Sin embargo, si desea que se ejecute automáticamente cuando se inicia la terminal en lugar de ejecutarlo cada vez que abre la terminal, puede agregarlo . ~/.bash_profileal ~/.bashrcarchivo.

Nota:

Cuando abre una terminal, la terminal inicia bash en modo interactivo (sin inicio de sesión), lo que significa que generará archivos ~/.bashrc.

~/.bash_profilebash solo lo obtiene cuando se inicia en modo de inicio de sesión interactivo . Por lo general, esto ocurre solo cuando inicia sesión en la consola ( Ctrl+ Alt+ F1.. F6) o se conecta a través de ssh.

Mohammad Anini avatar May 10 '2015 19:05 Mohammad Anini

Si no le importa perder el historial de su terminal shell actual, también puede hacerlo

bash -l

Eso bifurcaría su shell y abriría otro proceso hijo de bash. El -lparámetro le dice a Bash que se ejecute como un shell de inicio de sesión. Esto es necesario porque .bash_profile no se ejecutará como un shell sin inicio de sesión. Para obtener más información sobre esto, lea aquí .

Si desea reemplazar completamente el shell actual, también puede hacer:

exec bash -l

Lo anterior no bifurcará su shell actual, sino que lo reemplazará por completo, de modo que cuando escriba exitterminará por completo, en lugar de llevarlo al shell anterior.

Ulukai avatar Oct 23 '2018 08:10 Ulukai

También puede usar este comando para recargar ~/.bash_profile para ese usuario. Asegúrate de usar el tablero.

su - username
 avatar Sep 19 '2012 23:09

Me gusta el hecho de que después de editar el archivo, todo lo que necesitas hacer es escribir:

. !$

Esto genera el archivo que acababa de editar en el historial. Consulte ¿Qué es bang dollar en bash ?

hyper_st8 avatar Nov 08 '2016 14:11 hyper_st8