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 sourcecon un punto:. ~/.bashrc
source ~/.bashrc?sourcees 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:
resetTset 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 bashes 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
-iopció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
bashsu 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
bashlike 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
bashy si está usando algo más como zsh, puede ingresarzshfuente
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
resetloreset; exec sudo --login --user $USERHay muchas respuestas en la web, pero la mayoría no funciona. La forma fácil de probar es configurar y
export SOMEVAR=42luego ejecutar el comando supuestamente de reinicio y hacerecho $SOMEVAR. Si es 42, el entorno no se restableció.También hay
exec -c bash -loexec env -i bash -l, pero estos están rotos, de alguna manera la variable $ HOME no se establece después de esto.fuente