Respuestas:
Si quiere recargar su configuración .bashrc, entonces:
source ~/.bashrc
Para escribir menos, puede reemplazar source
con un punto:. ~/.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
$ tset
O
$ reset
Una opción adicional exec bash
es que si cambiaste tu .profile
(o .bash_profile
), puedes hacer
$ exec bash --login
Eso 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.
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):
> $ exec bash
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.
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 hacer echo $SOMEVAR
. Si es 42, el entorno no se restableció.
También hay exec -c bash -l
o exec env -i bash -l
, pero estos están rotos, de alguna manera la variable $ HOME no se establece después de esto.
source ~/.bashrc
?