Hace poco cambié el nombre de mi terminal para eliminar todo excepto el signo del dólar. Hice esto hace un tiempo, y por lo que recuerdo, usé Preferencias del Sistema para hacer el cambio en lugar de mi terminal. Ahora quiero cambiar mi nombre de nuevo a la configuración por defecto, pero no estoy seguro de cómo deshacer esto a través de Preferencias del Sistema.
Edita: echo $0 me dio una salida de -zsh y cat ~/.zprofile | grep -i ps1 nada de salida y acaba de imprimir $ en una nueva línea.
