1# Just echo our DHCP options we have 2 3if [ "$reason" = "DUMP" ]; then 4 set | sed -ne 's/^new_//p' | sort 5fi 6