我看在有的项目里 像是 application.properties 里这种
redis.host=${redis.host} redis.port=${redis.port}
host 和 port 的值在 settings.xml 里设置的 这样做的思想是什么? application.properties 里如何得到 setting.xml 里的值的