Tengo lo siguiente en .bash_profile:
Incluso lo probé sin la cuerda:
Sé con certeza que un ejecutable vive en ese directorio bin:
Sin embargo, cuando agrego la ruta a .bash_profile y luego origen .bash_profile (e incluso reinicio el terminal), obtengo lo siguiente:
¿Qué estoy haciendo mal?
