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?