Exploring Termux still.
With that last Android update, no DNS server data is displayed on my phone either using getprop.
And when run nslookup pi.hole in Termux, it defaults to querying Google's DNS @8.8.8.8.
A well, at least I got my prompt back 
