Eso es correcto. Si no te salió ningun mensaje, significa que la herramienta fue instalada correctamente en el repositorio.
¿Hiciste alguna modificación al repositorio?
¿Instalaste devkitPro, y tienes la ruta hacia él al final de tu .bashrc?
¿Hiciste alguna modificación al repositorio?
¿Instalaste devkitPro, y tienes la ruta hacia él al final de tu .bashrc?