Save any dhcp options we did not handle to net.$interface.dhcpopts

diff --git a/dhclient-script b/dhclient-script
index dce98781a258c1ed9fffaf55c70e6fd0ca146481..5a2c66b8a1b86a48583b317841743894b04026b3 100755 (executable)
--- a/dhclient-script
+++ b/dhclient-script
@@ -19,6 +19,7 @@ case $reason in
        for s in $new_domain_name_servers; do
            echo "nameserver $s" >> /etc/resolv.conf
        done
+       set |grep -e '^new_[a-z_]=' >/net.$interface.dhcpopts
        >/net.$interface.up ;;
     *) ;;
 esac