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