From 8d3601df0eb4281d5648a3845b5cdec833fdec19 Mon Sep 17 00:00:00 2001 From: Janne Valkealahti Date: Wed, 17 Apr 2024 17:46:43 +0100 Subject: [PATCH] Add jni starter - new spring-shell-starter-jni which pulls jline's jni terminal provider. - Fixes #1047 --- .../spring-shell-starter-jni.gradle | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 spring-shell-starters/spring-shell-starter-jni/spring-shell-starter-jni.gradle diff --git a/spring-shell-starters/spring-shell-starter-jni/spring-shell-starter-jni.gradle b/spring-shell-starters/spring-shell-starter-jni/spring-shell-starter-jni.gradle new file mode 100644 index 00000000..c39e06e3 --- /dev/null +++ b/spring-shell-starters/spring-shell-starter-jni/spring-shell-starter-jni.gradle @@ -0,0 +1,11 @@ +plugins { + id 'org.springframework.shell.starter' +} + +description = 'Spring Shell Starter JNI' + +dependencies { + management platform(project(':spring-shell-management')) + api(project(':spring-shell-starters:spring-shell-starter')) + implementation 'org.jline:jline-terminal-jni' +}