jgmenu came with the OS installation. I use Bunsenlabs Linux and the latest versions of that OS come with jgmenu installed. On 12/12/22 11:39, General wrote: > How did jgmenu get installed? > I have it listed in the devuan repository, but it's not installed. >