如何更改 DrJava 中的颜色设置? (错误)

如何更改 DrJava 中的颜色设置? (错误)

当我在 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

相关内容