Documentation for DevTools Global Settings has a typo when displaying spring.devtools.restart.trigger-file property example

[ddcruver]

In https://docs.spring.io/spring-boot/docs/current/reference/htmlsingle/#using-boot-devtools-globalsettings it lists the file as ~/config/spring-boot/spring-boot-devtools.properties but I think that it should be ~/.config/spring-boot/spring-boot-devtools.properties.

[snicoll]

@ddcruver good catch, thanks for reporting it.