Allow file permission on Linux September 11, 2023 varsey sudo chown <user> workspace.xml sudo chmod u+rw workspace.xml