Leí un billete aquí que es lo mismo que un problema que estoy experimentando.
El simple hecho de cambiar el "valor predeterminado" en esa sesión de Terminal funciona mientras esa instancia de Terminal sigue abierta, pero si salgo de Terminal y la vuelvo a abrir, ¡aparece de nuevo como básico/por defecto!
¿Cómo puedo solucionarlo?