Como alterar as configurações de cor no DrJava? (erro)

Question

Como dito no título: quando clico em "Aplicar" nas configurações do DrJava, ele diz:

Could not save changes to your ".drjava" file in your home directory. java.io.IOException: Permission denied

As permissões são:

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

Algo criou o diretório .drjava com a propriedade de raiz (ou mais tarde, assimilou). Você precisará redefinir isso para ser seu usuário:

sudo chown pypaut:pypaut ~/.drjava

Se você não tiver autoridade de nível raiz para fazer isso, poderá renomear o diretório:

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