From 140ec07b8ce5a7f3994f1c0f14a22c8a04940691 Mon Sep 17 00:00:00 2001
From: parmentelat <thierry.parmentelat@inria.fr>
Date: Thu, 6 Dec 2018 15:53:48 +0100
Subject: [PATCH] use python3 for gethostbyname

---
 lbuild-initvm.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lbuild-initvm.sh b/lbuild-initvm.sh
index 720cf0a2..e4d3c6af 100755
--- a/lbuild-initvm.sh
+++ b/lbuild-initvm.sh
@@ -51,7 +51,7 @@ DEBIAN_PREINSTALLED="openssh-server openssh-client"
 ########## networking utilities
 function gethostbyname () {
     local hostname=$1
-    python -c "import socket; print socket.gethostbyname('"$hostname"')" 2> /dev/null
+    python3 -c "import socket; print(socket.gethostbyname('"$hostname"'))" 2> /dev/null
 }
 
 # e.g. 21 -> 255.255.248.0
-- 
2.43.0