resolv-conf: Add more options

diff --git a/basis/resolv-conf/resolv-conf.factor b/basis/resolv-conf/resolv-conf.factor
index dd036c2c51c64510e063d53138ff2f96616a9d89..714951a2fe370b2991be593c44c6b98dddaefa0b 100644 (file)
--- a/basis/resolv-conf/resolv-conf.factor
+++ b/basis/resolv-conf/resolv-conf.factor
@@ -61,14 +61,23 @@ ERROR: unsupported-resolv.conf-option string ;
 
 : parse-options ( resolv.conf string -- resolv.conf )
     [ dup options>> ] dip trim-blanks split-words [ {
-        { [ "debug" ?head ] [ drop t >>debug? ] }
+        { [ dup "debug" = ] [ drop t >>debug? ] }
         { [ "ndots" ?head ] [ parse-integer >>ndots ] }
         { [ "timeout" ?head ] [ parse-integer >>timeout ] }
         { [ "attempts" ?head ] [ parse-integer >>attempts ] }
-        { [ "rotate" ?head ] [ drop t >>rotate? ] }
-        { [ "no-check-names" ?head ] [ drop t >>no-check-names? ] }
-        { [ "inet6" ?head ] [ drop t >>inet6? ] }
-        { [ "edns0" ?head ] [ drop t >>edns0? ] }
+        { [ dup "rotate" = ] [ drop t >>rotate? ] }
+        { [ dup "no-check-names" = ] [ drop t >>no-check-names? ] }
+        { [ dup "inet6" = ] [ drop t >>inet6? ] }
+        { [ dup "ip6-bytestring" = ] [ drop ] }
+        { [ dup "ip6-dotint" = ] [ drop ] }
+        { [ dup "no-ip6-dotint" = ] [ drop ] }
+        { [ dup "edns0" = ] [ drop t >>edns0? ] }
+        { [ dup "single-request" = ] [ drop ] }
+        { [ dup "single-request-reopen" = ] [ drop ] }
+        { [ dup "no-tld-query" = ] [ drop ] }
+        { [ dup "use-vc" = ] [ drop ] }
+        { [ dup "no-reload" = ] [ drop ] }
+        { [ dup "trust-ad" = ] [ drop ] }
         [ unsupported-resolv.conf-option ]
     } cond drop ] with each ;