Differences

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

Link to this comparison view

Both sides previous revision Previous revision
troubleshooting:start [2018/07/24 10:11]
hverbeek [DIY local repository]
troubleshooting:start [2018/07/24 11:02] (current)
hverbeek [DIY local repository]
Line 90: Line 90:
 This will make ProM and the ProM Package Manager use the repository in your local folder as the repository to install packages from. 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>​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