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

何かがルート所有権を使用して.drjavaディレクトリを作成します(または後でこの方法でchownします)。ユーザーにリセットする必要があります。

sudo chown pypaut:pypaut ~/.drjava

これを行うためのルートレベルの権限がない場合は、ディレクトリの名前を変更できます。

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

関連情報