From 01960743f6de458032c618300bf6c20223f9171f Mon Sep 17 00:00:00 2001
From: parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 9 Jan 2019 11:36:17 +0100
Subject: [PATCH] default for create-vm.sh is 8G

---
 create-vm.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/create-vm.sh b/create-vm.sh
index a3d0ae27..0b7d7fbb 100755
--- a/create-vm.sh
+++ b/create-vm.sh
@@ -12,7 +12,7 @@ LOGS=$HOME/machines
 DOMAIN=pl.sophia.inria.fr
 
 DEFAULT_DISTRO=f29
-DEFAULT_MEMORY=4096
+DEFAULT_MEMORY=16384
 
 CONFIRM=
 function usage () {
-- 
2.43.0