make package manager switch user package dir with -dir option #1070

CompEvol · Dec 14, 2022 · 206ad74 · 206ad74
1 parent f26710c
commit 206ad74
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/beast/pkgmgmt/PackageManager.java b/src/beast/pkgmgmt/PackageManager.java
@@ -2043,6 +2043,7 @@ public static void main(String[] args) {
             if (customDir != null) {
                 String path = PackageManager.getBeastPackagePathProperty();
                 System.setProperty("BEAST_PACKAGE_PATH", (path != null ? path + ":" : "") +customDir);
+                System.setProperty("beast.user.package.dir", (path != null ? path + ":" : "") +customDir);
             }
 
             List<URL> urlList = getRepositoryURLs();