Slightly off topic; How to create a desktop-entry to Prom in Gnome

Bengbers

Hi,

I have installed ProM 6.8  and after executing the command ./ProM68.sh & in a terminal, the application starts without problems.

This is how I tried to create a desktop-entry in Gnome 3 (on Fedora 28):

    [Desktop Entry]

    Name=Prom
    Exec=/home/bengbers/Programs/Prom/ProM68.sh
    Type=Application
    StartupNotify=true
    Terminal=false  
    Categories=Development;Java;

After double-clicking this icon, nothing happens.

My question is how to create a working desktop entry to ProM or any one of the other executables?

Ben

hverbeek

Hi Ben,

My guess is that you need to set the current working directory to the directory where you have installed ProM 6.8. But how to do this in Gnome, I do not know. When starting, ProM needs to read the ProM.ini file, which it looks for in the current directory.

Hope this helps a bit.

Kind regards,

Eric.

Bengbers

I added the line

    Path=/home/bengbers/Programs/Prom

It works now!

Thanks,

Ben

sjjleemans

Thanks for asking; will use it as well