Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
troubleshooting:start [2018/03/29 15:14]
hverbeek [Dot/GraphViz does not work]
troubleshooting:start [2018/07/24 11:02] (current)
hverbeek [DIY local repository]
Line 62: Line 62:
  
 The downside of using the solution is that you will not get any package updates. If we fix a bug in a relevant package, then we will of course update our package repository, which will then be available to any ProM Lite 1.1 users that actually use this repository, but not to you as you will be using a local copy of the repository. The downside of using the solution is that you will not get any package updates. If we fix a bug in a relevant package, then we will of course update our package repository, which will then be available to any ProM Lite 1.1 users that actually use this repository, but not to you as you will be using a local copy of the repository.
 +
 +==== DIY local repository ====
 +
 +<note tip>The package repository of the ProM Nightly Build can also be copied to a local folder on your computer, and ProM can be instructed to use your local repository instead of our remote repository.</​note> ​
 +<note warning>​Be aware, however, that the local repository requires approx. 25 GB of space.</​note>​
 +
 +There are two ways of creating a copy from our remote ProM Nightly Build package repository: Using wget and using svn.
 +
 +=== Using wget ===
 +
 +Create a local folder for your repository, and execute the following command in that folder:
 +   wget -r -l 0 http://​packages.promtools.org/​
 +This will download the ProM Nightly Build repository into your local folder.
 +
 +=== Using svn ===
 +
 +Create a local folder for your repository, and execute the following command in that folder:
 +   svn checkout https://​svn.win.tue.nl/​repos/​prom/​Releases/​Packages
 +This will do an initial checkout of the ProM Nightly Build repository into your local folder. If later on you want to update this local copy, you can execute:
 +   svn update
 + in your local folder.
 +
 +=== Using the local folder ===
 +
 +Say you now have created a local repository in the local folder (assuming Windows here, mutatis mutandis for other OSs) ''​C:​\ProM\myRepo''​. Then change the line containing ''​PACKAGE_URL''​ in the ''​ProM.ini''​ file to the following:
 +   ​PACKAGE_URL = file:///​C:/​ProM/​myRepo
 +This will make ProM and the ProM Package Manager use the repository in your local folder as the repository to install packages from.
 +<​note>​As a result, when ProM or the ProM Package Manager starts, it will use a local repository instead of our remote repository. This local repository contains relative URLs for downloading the packages, and also relative URLs for the majority of the package icons. However, for some packages, it still contains absolute URLs, and to download these icons, the ProM Package Manager still needs an internet connection. ProM itself does not use these icons, and hence does not require an internet connection to download these icons.</​note>​
 +<note important>​Note that for this DIY local repository to work, you need at least revision 6.9.70 of the ProM framework, which is included in the ProM Nightly Build as of July 18. Older revisions of the framework cannot handle the current ProM Nightly Build repository, or a copy thereof.</​note>​
 ===== Installing packages ===== ===== Installing packages =====
  
  • Show page