Cool! Are these environment settings persistent thanks to the .deb install?
export DEVKITPRO=/opt/devkitpro export DEVKITARM=/opt/devkitpro/devkitARM
yes there are ^^
