2012/2/9 Thomas Lange <la...@informatik.uni-koeln.de> > >>>>> On Thu, 9 Feb 2012 12:59:03 -0200, Ivan Reche <ivan.re...@gmail.com> > said: > > > > Oh, I just forgot to mention another doubt: > > - when I ssh into a system that has just been installed and waiting > for reboot, I can see a lot of > > FAI's variables, but $SERVER doesn't show anything and there isn't > any variable that holds the server > > IP or hostname. Is this right? How do I find out who is my server? > Normally, the DHCP defines the variable SERVER. Have a look at your > boot.log. In dhcpd.conf it's the option server-name. > > -- > regards Thomas >
Oh, that must be it. I'm using dnsmasq and I've probably missed such an option. Gonna look into it as soon as I get back to the laboratory