I am new to programming in general and learning to use coq with Software Foundations, so sorry if my questions seem kinda tedious. I can’t access coq IDE by clicking on the icon but only by running coqide from my terminal, and when I do I get the following message:
Gtk-Message: 11:15:01.106: Failed to load module “xapp-gtk3-module”
Also, I get these warnings anytime I try open some file on the IDE:
(coqide:4354): GLib-GIO-WARNING **: 11:36:58.447: Error creating IO channel for /proc/self/mountinfo: Permission denied (g-file-error-quark, 2)
Also, I think that the “compile buffer” option on the IDE doesn’t actually compile the files as no .vo file appears on my directory after clicking on it, and they actually compile when I run the files from the terminal using: coqc - Q . LF Basics.v for example, because only then do the .vo files appear.
Could anyone point out how to solve these issues?
Thanks in advance!