From 6cdd621db22867dbf1b8091cf855eebcae5abb2b Mon Sep 17 00:00:00 2001 From: Jean-Pierre PRUNARET Date: Sun, 19 Feb 2017 18:20:12 +0100 Subject: [PATCH] erreur DNS pour grudu. utilisation @IPv4 --- base/activation-manuelle/nix-serve-client.nix | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/base/activation-manuelle/nix-serve-client.nix b/base/activation-manuelle/nix-serve-client.nix index 834393a..b2dce1d 100644 --- a/base/activation-manuelle/nix-serve-client.nix +++ b/base/activation-manuelle/nix-serve-client.nix @@ -13,8 +13,10 @@ mkIf cfg.nix-serve-client { # Cache http pour le store requireSignedBinaryCaches = false; binaryCaches = [ - (mkIf (computers.isRollo) "http://ocean.grudu.net:5001/") - (mkIf (computers.isOcean) "http://rollo.grudu.net:5001/") + #(mkIf (computers.isRollo) "http://ocean.grudu.net:5001/") + (mkIf (computers.isRollo) "http:/192.168.12.6:5001/") + #(mkIf (computers.isOcean) "http://rollo.grudu.net:5001/") + (mkIf (computers.isOcean) "http://192.168.12.5:5001/") (mkIf (profiles.isDubronetwork && (! computers.isPedro) && (! computers.isRollo)) "http://nix-cache.dubronetwork.fr:5001")