Respuestas:
Si quiere recargar su configuración .bashrc, entonces:
source ~/.bashrc
Para escribir menos, puede reemplazar sourcecon un punto:. ~/.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: 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 bashes 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 -iopció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 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):
> $ exec bash
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.
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 $USER
Hay 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 hacer echo $SOMEVAR. Si es 42, el entorno no se restableció.
También hay exec -c bash -lo 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?