ubuntu-20.04 ignores domain name setting from DHCP (option 15)

[Little Girl]

Hey there,

Josef Wolf wrote:

>No ideas/opinions on this topic?

This page, although a bit old, might be useful, especially because
it does mention Ubuntu 18.04, which apparently did things the same
way Ubuntu 20.04 does when it comes to hostname and domain name:

https://unix.stackexchange.com/questions/322883/how-to-correctly-set-hostname-and-domain-name

Also, the person in this YouTube video demonstrates using hostnamectl
to check and change the hostname and domain name on Ubuntu 20.04:

https://www.youtube.com/watch?v=vjDbVb1Ul44

-- 
Little Girl

There is no spoon.