adressen.awk
------------------------ cut here ---------------------
/host/ { hostname = $2; }
/hardware/ { eth = $3; }
/fixed/ { fixed = $2; gsub(/;/,"",eth); gsub(/;/,"",fixed); printf("%s,%s,%s\n",hostname,eth,fixed); }
------------------------ cut here ---------------------
stefan2@platon:~/awk_material> gawk -f adressen.awk dhcp.conf xxxx1,00:00:00:00:00:00,192.168.200.71 xxxx2,00:00:00:00:00:00,192.168.200.72 xxxx3,00:00:00:00:00:00,192.168.200.73 xxxx4,00:00:00:00:00:00,192.168.200.74