I am stuck on #2 on this page: https://esp-idf.readthedocs.io/en/latest/get-started/linux-setup.html
Can someone help me figure out how to eidt the ~/.profile. The terminal is consistently returning “Permission Denied”. I have tried a number of ways to change permissions and allow me to view the file, but no luck.