diff options
Diffstat (limited to '7/hosts.pl')
| -rw-r--r-- | 7/hosts.pl | 44 |
1 files changed, 22 insertions, 22 deletions
@@ -15,39 +15,39 @@ host(kv24ix). host(lhn2ix). host_config(knot, Config) :- utils:to_assoc({ - ip: "fdf3:aad9:a885:0b3a::1" + ip: 'fdf3:aad9:a885:0b3a::1' }, Config). host_config(hash, Config) :- utils:to_assoc({ - ip: "fdf3:aad9:a885:0b3a::13" + ip: 'fdf3:aad9:a885:0b3a::13' }, Config). host_config(lhn2ix, Config) :- utils:to_assoc({ - ip: "fdf3:aad9:a885:0b3a::15" + ip: 'fdf3:aad9:a885:0b3a::15' }, Config). host_config(kv24ix, Config) :- utils:to_assoc({ - ip: "fdf3:aad9:a885:0b3a::16" + ip: 'fdf3:aad9:a885:0b3a::16' }, Config). % (router, remote, router_ip) -router_link(knot, hash, "0::1"). -router_link(knot, lhn2ix, "0::8"). -router_link(knot, kv24ix, "0::7"). -router_link(hash, knot, "0::2"). -router_link(hash, kv24ix, "0::10"). -router_link(hash, lhn2ix, "0::3"). -router_link(kv24ix, knot, "0::6"). -router_link(kv24ix, hash, "0::5"). -router_link(lhn2ix, hash, "0::9"). -router_link(lhn2ix, knot, "0::4"). -router_link(conflatorio, lhn2ix, "0::11"). -% router_link(lhn2ix, conflatorio,"0::12"). +router_link(knot, hash, '0::1'). +router_link(knot, lhn2ix, '0::8'). +router_link(knot, kv24ix, '0::7'). +router_link(hash, knot, '0::2'). +router_link(hash, kv24ix, '0::10'). +router_link(hash, lhn2ix, '0::3'). +router_link(kv24ix, knot, '0::6'). +router_link(kv24ix, hash, '0::5'). +router_link(lhn2ix, hash, '0::9'). +router_link(lhn2ix, knot, '0::4'). +router_link(conflatorio, lhn2ix, '0::11'). +% router_link(lhn2ix, conflatorio,'0::12'). % network(R, address, range) -attached_network(conflatorio, ipv6_net("1:78e1::", 64)). -attached_network(hash, ipv6_net("1:e5b0::", 64)). -attached_network(knot, ipv6_net("1:f11b::", 64)). -attached_network(lhn2ix, ipv6_net("1:dbe1::", 64)). -attached_network(lhn2ix, ipv6_net("1:ab69::", 64)). -attached_network(kv42ix, ipv6_net("1:cd02::", 64)). +attached_network(conflatorio, ipv6_net('1:78e1::', 64)). +attached_network(hash, ipv6_net('1:e5b0::', 64)). +attached_network(knot, ipv6_net('1:f11b::', 64)). +attached_network(lhn2ix, ipv6_net('1:dbe1::', 64)). +attached_network(lhn2ix, ipv6_net('1:ab69::', 64)). +attached_network(kv42ix, ipv6_net('1:cd02::', 64)). |