Stream: Coq devs & plugin devs

Topic: Folder access warnings with snap


view this post on Zulip Michael Soegtrop (Jun 24 2022 at 18:13):

I tried (for a change) to run the smoke test with the Ubuntu snap package. It basically works, just for every call of coqc I get errors that these folders are not accessible:

/usr/games/
/bin/
/sbin/
/usr/sbin/

I wonder what business coqc has to look into these folders.
@Enrico Tassi : FYI

view this post on Zulip Jason Gross (Jun 24 2022 at 20:22):

Maybe they are in PATH and coqc is looking for the csdp binary or something?

view this post on Zulip Enrico Tassi (Jun 24 2022 at 20:29):

indeed, that is the culprit. IMO we could just remove the warning


Last updated: Feb 06 2023 at 00:03 UTC