Donate | Contact | Search
for more configuration options for jline2 as used in OM, resources include:
- for more configuration options for jline2 as used in OM, resources include:
- https://github.com/jline/jline2/wiki/Using-JLine
- https://github.com/jline/jline2/wiki/Configuration-Properties
- search the internet for "man readline" (IIRC, jline2 intends to be near-identical in function)
- https://github.com/jline/jline2/blob/master/src/main/java/jline/console/ConsoleReader.java (interesting, especially the readLine method)
- etc
Copyright 2015-2024 Luke A. Call | OM Home
Contact (won't put you on a mailing list): comments@onemodel.org (but for replies see the mailing lists)
(Content generated selectively from a OneModel instance.)