Stream: Coq Platform devs & users

Topic: Windows icons


view this post on Zulip Jason Gross (May 11 2021 at 13:36):

Are Coq and CoqIDE supposed to be iconless in their start menu shortcuts?
image.png

view this post on Zulip Enrico Tassi (May 11 2021 at 13:49):

Apparently we should change https://github.com/coq/platform/blob/2021.02/windows/Coq.nsi#L103 as suggested here
https://stackoverflow.com/questions/9317007/how-to-create-an-icon-shortcut-with-nsis

view this post on Zulip Enrico Tassi (May 11 2021 at 13:50):

If you are motivated and you make a PR, ci should build the installer for you.

view this post on Zulip Jason Gross (May 11 2021 at 15:45):

Is there a reason we install it as CoqIde rather than CoqIDE?

view this post on Zulip Jason Gross (May 11 2021 at 15:47):

Also, why install coqtop as "Coq", I think that will just confuse users, no?

view this post on Zulip Enrico Tassi (May 11 2021 at 16:16):

We should just have one entry CoqIDE, IMO

view this post on Zulip Michael Soegtrop (May 12 2021 at 15:51):

@Jason Gross : I guess it went unnoticed because I am not testing that much on Windows any more. Please feel free to create an issue at CoqPlatform for all of these, preferably as one.

view this post on Zulip Jason Gross (May 12 2021 at 15:51):

PR at https://github.com/coq/platform/pull/104


Last updated: Jan 30 2023 at 10:03 UTC