Spring Boot Dev tools: Global Settings

You can configure global dev tool settings in a file '.spring-boot-devtools.properties' (file name starts with a .) to your $HOME folder. Any properties added to this file are applicable to all the spring boot applications (Applications that use spring dev tools only) that are running in your system.

Previous                                                    Next                                                    Home