¿Hay alguna manera de reiniciar completamente Bash y recargar .bashrc
y cosas .profile
similares? Me gustaría asegurarme de que mis cambios funcionaron correctamente después de editar estos archivos.
bash
bashrc
source
bash-profile
Naftuli Kay
fuente
fuente
PATH
se está estableciendo como yo quiero o miPS1
, etc.exec
y obtendrá un shell que obtiene los archivos que desea. Entonces, justoexit
cuando haya terminado de verificar.$PS1
los archivos de inicio de bash, sí.Sugiero urgentemente iniciar sesión en una ventana / pantalla separada. De esta manera, todavía tiene una sesión de trabajo si algo va mal con sus cambios en los archivos de inicio. También está seguro de tener un ambiente limpio.
Motivo: vi a demasiadas personas bloqueándose a sí mismas de un sistema debido a un simple error tipográfico en su perfil (o similar).
fuente
Si su objetivo es simplemente leer los archivos modificados nuevamente, no tiene que reiniciarlo. Simplemente puede obtenerlo.
o
Tenga en cuenta que esto no le dará un "estado limpio" en el sentido de que no desarmará ninguna variable establecida o funciones definidas ...
fuente
Abrirá un nuevo shell para el
yourOwnUserName
usuario con todas las configuraciones recargadas. Esto es independiente del shell, ya que se refiere a la configuración del sistema, no a su shell específico. También carga algunas configuraciones de todo el sistema quebash -l
no lo hacen (como los grupos de usuarios).fuente