From b91af8a6c4e9b9112163ed2d895b9e3c1d0952fa Mon Sep 17 00:00:00 2001
From: Julien Malka <julien.malka@me.com>
Date: Wed, 5 Jan 2022 23:40:31 +0100
Subject: [PATCH] Repaired ip

---
 machines/lisa/default.nix | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/machines/lisa/default.nix b/machines/lisa/default.nix
index ac6f1e0..a7e5946 100644
--- a/machines/lisa/default.nix
+++ b/machines/lisa/default.nix
@@ -38,8 +38,7 @@
   networking.interfaces.ens20.ipv4.addresses = [ {address = "212.129.40.11"; prefixLength = 32;} ];
   #networking.defaultGateway = { interface = "ens20"; };
   networking.localCommands = ''
-ip r del default
-ip r add default dev ens20
+ip r del default || ip r add default dev ens20
 '';
   networking.interfaces.ens18.useDHCP = true;
   networking.interfaces.ens19.useDHCP = false;