如何在DrJava中更改颜色设置？(错误)

Question

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

Answer 1

有东西创建了具有根所有权的.drjava目录(或者以后用这种方式创建)。您需要重置它才能成为您的用户：

sudo chown pypaut:pypaut ~/.drjava

如果您没有执行此操作的根级权限，则可以重命名该目录：

mv ~/.drjava ~/.aside-drjava
mkdir ~/.drjava