Mercurial Hosting > editor

annotate src/luan_editor/Java.luan @ 93:9bb0c8f5bfb9 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minor
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 13 Jul 2025 18:55:27 -0600
parents 7f5b3824f4d4
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
53
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 require "java"
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 local System = require "java:java.lang.System"
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 local Java = {}
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8
75
7f5b3824f4d4 add Windows
Franklin Schmidt <fschmidt@gmail.com>
parents: 71
diff changeset
9 local home_dir = System.getProperty("user.home") or error()
7f5b3824f4d4 add Windows
Franklin Schmidt <fschmidt@gmail.com>
parents: 71
diff changeset
10 Java.config_path = System.getProperty("config") or home_dir.."/.luan_editor/config.json"
53
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 Java.port = System.getProperty("port")
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13
d5681da8ece8 add website
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 return Java