On 26/05/2021 17:47, Volker Wysk wrote: [...] > You could search through the .desktop files in /usr/share/applications. Do > an "egrep <menu-entry> *.desktop". In the matching .desktop file(s) there is > the "Exec:" line, which specifies the name of the executable. Excellent idea, never thought of that! Thank you Peter