It's for niche situation though. If the development setting is for docker environment but you also want to develop the app on Raspberry Pi, add hostname db to the file: /etc/hosts
db
/etc/hosts
127.0.1.1 db