我使用的是Spring Boot 1.2.7远程shell（CRaSH 1.3.2），似乎无法在默认的10分钟内更改空闲超时。在我的application.properties中我有
shell.ssh.port = 2111
shell.ssh.idle_timeout = 7200000
启动时，属性似乎已成功读取，端口设置为所需的值，但超时仍为默认的10分钟（600 000毫秒）：
o.s.b.a.a.CrshAutoConfiguration $ CrshBootstrapBean - 从属性配置属性ssh.port = 2111
o.s.b.a.a.CrshAutoConfiguration $ CrshBootstrapBean - 从属性配置属性ssh.auth_timeout = 600000
o.s.b.a.a.CrshAutoConfiguration $ CrshBootstrapBean - 从属性配置属性ssh.idle_timeout = 600000
显然，Spring引导不暴露shell.ssh.idle_timeout属性（最初在CRaSH中的crash.ssh.idle_timeout，我也尝试过其他名称）。我无法找到有关其他设置方法的信息。有没有办法设置它，例如从配置类？
编辑：我被拉下了项目，所以我没有解决它，我只有一些指向那些有同样问题的人。这些属性由org.springframework.boot.actuate.autoconfigure.ShellProperties读取，我将使用idle timeout属性进行扩展，然后尝试在同一个包中注入CrshAutoConfiguration。当然可能有更好的方法。