From 37856634802ea0131d34d5985eed19d16a5e0722 Mon Sep 17 00:00:00 2001
From: istmxrein <maximilian.reinheimer@stud.h-da.de>
Date: Mon, 26 Sep 2022 18:24:16 +0200
Subject: [PATCH] change default volume size
---
env.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/env.py b/env.py
index 1a89d00..926ac64 100644
--- a/env.py
+++ b/env.py
@@ -5,7 +5,7 @@ FLAVOR = os.getenv("CUSTOM_ENV_FLAVOR") or os.getenv("FLAVOR")
BUILDER_IMAGE = os.getenv("CUSTOM_ENV_BUILDER_IMAGE") or os.getenv("BUILDER_IMAGE")
NETWORK = os.getenv("CUSTOM_ENV_NETWORK") or os.getenv("NETWORK")
KEY_PAIR_NAME = f'key-{VM_NAME}'
-VOLUME_SIZE = os.getenv("CUSTOM_ENV_VOLUME_SIZE") or os.getenv("VOLUME_SIZE") or "20"
+VOLUME_SIZE = os.getenv("CUSTOM_ENV_VOLUME_SIZE") or os.getenv("VOLUME_SIZE") or "15"
SECURITY_GROUPS = os.getenv("CUSTOM_ENV_SECURITY_GROUPS") or os.getenv("SECURITY_GROUPS")
USERNAME = os.getenv("CUSTOM_ENV_USERNAME") or os.getenv("USERNAME")
PRIVATE_KEY_PATH = f"{os.getenv('HOME')}/priv_key-{VM_NAME}"
--
GitLab