Fedora Scientific에 coq를 설치했는데 snap install coq-prover명령을 실행하면 다음과 같습니다.coqide
]1
내가 읽은 아이콘이 설치되지 않은 문제라는 것을 알 수 없지만 gnome-icon-themeFedora에서 이 작업을 수행하고 올바른 구성을 설정하는 방법을 모르겠습니다. 시작 시 발생하는 오류 중 하나는 다른 아이콘을 참조하는 유사한 오류가 많다는 coqide것입니다 .Error loading theme icon 'go-up' for stock: Brak ikony „go-up” w motywie Adwaita