search

fusesource / jansi

Jansi is a small java library that allows you to use ANSI escape sequences to format your console output which works even on windows.
http://fusesource.github.io/jansi/
Apache License 2.0
1.11k stars 140 forks source link

library.jansi.path not being used? #235

Closed bdw429s closed 2 years ago

bdw429s commented 2 years ago

Please see this issue https://github.com/jline/jline3/issues/778 for an error while using JLine. The tool in question sets library.jansi.path yet it would appear the native library is being loaded from /tmp. Is this system property still in use.

gnodet commented 2 years ago

I may have misleaded you, or maybe it has changed in between, not sure. Anyway, the library.jansi.path is currently used as a directory where to load pre-extracted libraries from.
If the native libraries are extracted from the jar, the temporary dir will be used, using jansi.tmpdir or java.io.tmpdir if it is not defined.

bdw429s commented 2 years ago

@gnodet Thanks for the clarification. I am already using jna.tmpdir, but I will add jansi.tmpdir as well.

bdw429s commented 2 years ago

Related ticket https://ortussolutions.atlassian.net/browse/COMMANDBOX-1480

I'll ask the original reporter on the Jline ticket to test.