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

관련 정보