Setting up Development Environment: Difference between revisions
m friendly reminder about wget  | 
				No edit summary  | 
				||
| Line 100: | Line 100: | ||
  sudo chown $USER /opt/devkitpro/ -R  |   sudo chown $USER /opt/devkitpro/ -R  | ||
  echo "export DEVKITPRO="/opt/devkitpro/" >> ~/.profile  |   echo "export DEVKITPRO="/opt/devkitpro/" >> ~/.profile  | ||
  echo "export DEVKITARM="  |   echo "export DEVKITARM="${DEVKITPRO}/devkitARM/" >> ~/.profile  | ||
  source ~/.profile  |   source ~/.profile  | ||
For WSL users, you need to close the Bash shell, then reopen it for WSL to reload all of the variables from a clean state.  | For WSL users, you need to close the Bash shell, then reopen it for WSL to reload all of the variables from a clean state.  | ||