I know I could get a list of hostnames into bash tab-completion of
ssh by adding them to
/etc/hosts, but since they are on DHCP, it's kinda bad practice.
Does anyone know another DHCP-aware way, that doesn't force me to interfere with Ubuntu too much?
(Global solution preferred)