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
