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
何かがルート所有権を使用して.drjavaディレクトリを作成します（または後でこの方法でchownします）。ユーザーにリセットする必要があります。
sudo chown pypaut:pypaut ~/.drjava
これを行うためのルートレベルの権限がない場合は、ディレクトリの名前を変更できます。
mv ~/.drjava ~/.aside-drjava
mkdir ~/.drjava