Merge branch 'java7'

rjolly · Aug 7, 2020 · 860d994 · 860d994
2 parents 738336e + 5f7626d
commit 860d994
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/init.js b/init.js
@@ -10,6 +10,10 @@ function getHome() {
     return new File(java.lang.System.getProperty("linoleum.home"));
 }
 
+function getLib() {
+    return new File(getHome(), "lib");
+}
+
 function install(pkg, conf, dir) {
     if (conf == undefined) {
 	conf = "default";