当我在 DrJava 设置中单击“应用”时,它显示:
无法保存对主目录中“.drjava”文件的更改。 java.io.IOException:权限被拒绝
权限是:
drwxr-xr-x 30 pypaut pypaut 4096 avril 14 12:24 /home/pypaut
-rw-r--r-- 1 root root 1259 janv. 1 2017 /home/pypaut/.drjava
答案1
有些东西创建了具有 root 所有权的 .drjava 目录(或者后来以这种方式 chown)。您需要将其重置为您的用户:
sudo chown pypaut:pypaut ~/.drjava
如果您没有 root 级权限来执行此操作,您可以重命名该目录:
mv ~/.drjava ~/.aside-drjava
mkdir ~/.drjava