Hey I’m a Linux beginner and I just wanted add something I had trouble with in the hopes that I can spare someone a headache. I was having trouble adding
arm-none-eabi-gcc to my
$PATH variable. Turns out I needed to add the following line to my
~/.bash_rc instead of
~/.bash_profile as instructed above to save the path permanently:
According to this it has to do with login shells vs. non-login shells. Anyway it worked after I added it to the other file.
Thanks so much for this tutorial! I would never have got this working without it.