DHCP options with multiple IPs

[ainar-g]

Context.

Currently, we have two option formats for our DHCP server: the hex format (1 hex abcd1234) and the IP format (1 ip 127.0.0.1). A common use for the second format is setting custom DNS servers with option 6. But in many cases we want at least two DNS addresses. So, we should either create a new type of option (something like 1 ips 127.0.0.1 127.0.0.2), patch the IP option to accept multiple IPs, or define rules for merging options together.

[ainar-g]

As of snapshot e6a8fe4 we have added the two new DHCP option types: ips and text.

@loll31, values for options 6 and 252, which you were interested in, can now be spelled more clearly:

# …
'dhcp':
  # …
  'dhcpv4':
    # …
    'options':
    - '6 ips 192.168.1.1,192.168.1.2'
    - '252 text socks://proxy.example.org'

We will soon update the Wiki as well.