To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.

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

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


Tagged:

Comments

  • 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.
  • I added the line
        Path=/home/bengbers/Programs/Prom

    It works now!

    Thanks,

    Ben

  • Thanks for asking; will use it as well :)
    Lecturer at Queensland University of Technology
Sign In or Register to comment.