Cuando realizo algunos cambios en el comportamiento de shell / bash, como configurar un alias, ¿hay un comando rápido para reiniciar la ventana de terminal en lugar de cerrar y abrir una nueva ventana?
49
Si quiere recargar su configuración .bashrc, entonces:
source ~/.bashrc
Para escribir menos, puede reemplazar source
con un punto:. ~/.bashrc
source ~/.bashrc
?source
es un específico para bash..
Es más estándar. Ambos funcionan igual en bash.Alguna adición que encontré en la página de manual del comando reset / tset
tset reset terminal de inicialización
mando:
reset
Tset inicializa terminales. Tset primero determina el tipo de terminal que está utilizando. Esta determinación se realiza de la siguiente manera, utilizando el primer tipo de terminal encontrado.
Parece ser una ventaja, que es independiente del shell utilizado. También funciona con peces aquí.
Entonces, para reiniciar cualquier terminal, simplemente haga
O
fuente
Una opción adicional
exec bash
es que si cambiaste tu.profile
(o.bash_profile
), puedes hacerEso también leerá tu perfil nuevamente. No estaría de más agregar también la
-i
opción de decirle explícitamente a bash que este es un shell interactivo, pero normalmente puede resolverlo por sí mismo.fuente
Debe reemplazar la aplicación / shell en ejecución con una nueva instancia. Por ejemplo, si está utilizando
bash
su shell preferido, escriba la siguiente línea en su línea de comando ( $ es el marcador de posición para el comienzo de su línea de comando):La aplicación / shell en ejecución se reemplaza por una nueva instancia de
bash
like que comienza desde cero. Todas tus modificaciones anteriores se han ido.Observación: No olvide que su aplicación de terminal puede ser reprogramada. Debe restablecer su aplicación de terminal manualmente.
fuente
su shell es un ejecutable al que puede llamar. Entonces, si está usando bash, puede llamar
bash
y si está usando algo más como zsh, puede ingresarzsh
fuente
Uso
exec sudo --login --user $USER
.Si también desea que los comandos introducidos con anterioridad a disapper (reinicio completo de la terminal), combinarlo con
reset
loreset; exec sudo --login --user $USER
Hay muchas respuestas en la web, pero la mayoría no funciona. La forma fácil de probar es configurar y
export SOMEVAR=42
luego ejecutar el comando supuestamente de reinicio y hacerecho $SOMEVAR
. Si es 42, el entorno no se restableció.También hay
exec -c bash -l
oexec env -i bash -l
, pero estos están rotos, de alguna manera la variable $ HOME no se establece después de esto.fuente