Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
troubleshooting:start [2018/07/24 10:08]
hverbeek [DIY local repository]
troubleshooting:start [2018/07/24 10:11]
hverbeek [DIY local repository]
Line 88: Line 88:
 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: 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    ​PACKAGE_URL = file:///​C:/​ProM/​myRepo
-This will make ProM 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 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, ProM still needs an internet connection. ProM itself does not use these icons, ​but the ProM Package Manager ​does.</​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>​
 ===== Installing packages ===== ===== Installing packages =====
  
  • Show page