Today I was changing the Wifi network adapter settings to give my MacBook Pro a static IP address on the local network (disabling DHCP), and for this I had to add the DNS servers that I looked up in my router's admin interface.
Upon adding the first DNS server with the "+" icon in the DNS tab of the adapter advanced properties, all the entries that were already present in the list of DNS servers vanished without me taking notice of what they were. (I figured they weren't so important). So I added both DNS servers provided by my router's status page as well as the router IP address (you never know).
After applying the parameters, I noticed I could not ping my Raspberry Pi with it's network name
raspberrypi anymore, nor could I connect via SSH to it with this name. I have to use the IP address instead.
This leads me to believe I lost a DNS server in the process. How can I find out which DNS server to add in order to be able to ping devices by network name again?