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

Bengbers
Bengbers
in - Usage
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


Comments

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

    It works now!

    Thanks,

    Ben

  • sjjleemans
    sjjleemans
    Thanks for asking; will use it as well :)
    Sander Leemans
    Assistant Processor (Lecturer) at Queensland University of Technology
    Author of the visual Miner and Inductive Miner
Sign In or Register to comment.

Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Sign In Register

Categories

In this Discussion