]> gitweb.factorcode.org Git - factor.git/commitdiff
Add dns.misc
authorEduardo Cavazos <dharmatech@finkelstein.stackeffects.info>
Sun, 1 Jun 2008 15:46:02 +0000 (10:46 -0500)
committerEduardo Cavazos <dharmatech@finkelstein.stackeffects.info>
Sun, 1 Jun 2008 15:46:02 +0000 (10:46 -0500)
extra/dns/misc/misc.factor [new file with mode: 0644]

diff --git a/extra/dns/misc/misc.factor b/extra/dns/misc/misc.factor
new file mode 100644 (file)
index 0000000..90731ce
--- /dev/null
@@ -0,0 +1,12 @@
+
+USING: kernel sequences splitting io.files io.encodings.utf8 random newfx ;
+
+IN: dns.misc
+
+: resolv-conf-servers ( -- seq )
+  "/etc/resolv.conf" utf8 file-lines
+  [ " " split ] map
+  [ 1st "nameserver" = ] filter
+  [ 2nd ] map ;
+
+: resolv-conf-server ( -- ip ) resolv-conf-servers random ;
\ No newline at end of file