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