Mercurial Hosting > editor

annotate src/luan_editor/Java.luan @ 81:a873ccf6d4cd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
elvish
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 23 Jun 2025 03:45:13 -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