I have coqide installed via opam but it doesn't show up in my applications list because it wasn't installed via pacman/pamac/yay/etc.

is2g if I have to make a desktop shortcut specifically for running coq

FINE I `sudo vim /usr/share/applications/coqide.desktop`

[Desktop Entry]
Name=CoqIDE
Exec=/home/jonathan/.opam/ocaml-base-compiler/bin/coqide
Type=Application
Categories=Development
Keywords=Coq;CoqIDE

@noiob where do icons go in linux?? I'm looking at other applications' desktop files and the icon entries all point to the executable and somehow those have their own icons

Follow

@nonphatic you can just point to a png iirc

· · Web · 1 · 0 · 0

@noiob but I gotta put it where everyone else puts it for Moral Reasons

Sign in to participate in the conversation
Awoo Space

Awoo.space is a Mastodon instance where members can rely on a team of moderators to help resolve conflict, and limits federation with other instances using a specific access list to minimize abuse.

While mature content is allowed here, we strongly believe in being able to choose to engage with content on your own terms, so please make sure to put mature and potentially sensitive content behind the CW feature with enough description that people know what it's about.

Before signing up, please read our community guidelines. While it's a very broad swath of topics it covers, please do your best! We believe that as long as you're putting forth genuine effort to limit harm you might cause – even if you haven't read the document – you'll be okay!