I followed these instructions, but when I open terminal I see this:
-bash: sdkfolder: No such file or directory
…is that correct? I tried to go through the directions again and it kept saying
-bash: pico: command not found
Did I do something wrong?