Based on this, it looks like I need to configure nmtui to use dns from pihole by editing /etc/NetworkManager/NetworkManager.conf
I tried adding this line to [main], but that does not do it, even with a reboot.
dns=pihole-FTL
It looks like I need to specify the pihole DNS service here. Does anyone know how to do that?
EDIT:
I found a suggestion here to use dns=none in that file, but it also did not work.