How does one list the options that are sent to a client from a DHCP server? Using a utility run from bash?
3 Answers
You can use tshark, the commandline version of wireshark, tshark -tad -nn -VOdhcp -ixenbr0 -f 'ip and udp port 67'
The only way to see the options (unless the machine you are running this on is the client, then you can see the effect of the options) is to capture the traffic for the DHCP exchange.
So you use anything you like to monitor network traffic (wireshark, tshark, tcpdump, ...). There's also a dedicated tool called dhcpdump.
Note that you might not see what's going on with another client if your network setup doesn't allow to capture the traffic between the DHCP server and that client.
Assuming you have access to at least one dhcp client machine, the received DHCP options can be found in /var/lib/dhcp/dhclient.leases.
This question should probably be marked as a duplicate of How to know DHCP options value on debian/ubuntu and other linux
wireshark. The actual DHCP "options" aren't saved anywhere - they're applied to the system, and reflected in the running system's configuration, until something changes them.