DNS: Add RDNSS functionality.

[people/stevee/network.git] / functions.dns

diff --git a/functions.dns b/functions.dns
index 39ddfad729672bf160c88fe77c2418131dcf85ea..7d153cd0dc01c3f960ed3eb5cc88beeacb663073 100644 (file)
--- a/functions.dns
+++ b/functions.dns
@@ -28,6 +28,10 @@ NETWORK_CONFIG_FILE_PARAMS="${NETWORK_CONFIG_FILE_PARAMS} DNS_USE_LOCAL_RESOLVER
 DNS_RANDOMIZE=false
 NETWORK_CONFIG_FILE_PARAMS="${NETWORK_CONFIG_FILE_PARAMS} DNS_RANDOMIZE"
 
+# Set this option to true if the DNS servers should be advertised by
+# radvd.
+DNS_ADVERTISE_SERVERS="true"
+
 DNS_SERVER_CONFIG_FILE="${NETWORK_CONFIG_DIR}/dns-servers"
 
 # Path to the configuration file of the DNS resolver.
@@ -52,7 +56,7 @@ function __dns_server_println() {
 }
 
 function __dns_server_sort() {
-       sort -k2 -u -g
+       sort -k2 -g | uniq
 }
 
 function dns_server_list() {
@@ -66,6 +70,13 @@ function dns_server_list() {
        done < ${DNS_SERVER_CONFIG_FILE} | __dns_server_sort
 }
 
+function dns_server_list_no_priority() {
+       local server priority
+       dns_server_list | while read server priority; do
+               echo "${server}"
+       done
+}
+
 function dns_server_add() {
        local server=${1}
        assert isset server