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.

Manually add packages due to poor connection on VM

william_vw
william_vw
edited April 2023 in - Usage

Sorry - this is likely not a frequent problem.

I'm trying to install ProM packages on a remote VM (I do not have admin privileges). For some reason, some packages (GraphViz currently) cannot be downloaded. They download fine on different machines. In the ProM package manager, the "Downloading: GraphViz-6.12.4" simply blocks forever.

So - I've tried manually copying the package (packages/graphviz-6.12.4) from another ProM instance over to the VM's packages/ folder. However, the package manager nor ProM recognize it. (In fact, it seems the package manager only shows packages for which "install" was clicked, and no intermediary packages that were also installed).

So, my question: does ProM / package manager store a separate file where installed packages are listed? (the packages.xml file does not seem to contain "install" flags, but I could be wrong).

Comments

  • william_vw
    william_vw

    Sorry, I clearly did not have a close enough look at packages.xml :-( It has an <installed-packages> element that lists the installed packages. After adding an entry for GraphViz it shows up in the package manager.

    So, never mind :-)

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