From 8b193b5d734f1bef6b88dc350083d579441c0ac2 Mon Sep 17 00:00:00 2001
From: Manuel Thalmann <m@nuth.ch>
Date: Sat, 29 Jul 2023 21:14:21 +0200
Subject: [PATCH] Shrink size of linux partition

---
 profiles/DerGeret/Windows/Setup.ps1 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/profiles/DerGeret/Windows/Setup.ps1 b/profiles/DerGeret/Windows/Setup.ps1
index 151943e0..9ed9bcf7 100644
--- a/profiles/DerGeret/Windows/Setup.ps1
+++ b/profiles/DerGeret/Windows/Setup.ps1
@@ -114,7 +114,7 @@ $Global:SetupConfigPostprocessor = {
     # Add space before Windows installation... wha-!? For Linux, ofc! I use Arch Linux, btw.
     $swapSpacer = 100;
     Add-Partition 2 $swapSpacer;
-    Add-Partition 3 ((1.4 * 1024 * 1024) - 1024 - $swapSpacer);
+    Add-Partition 3 ((1.2 * 1024 * 1024) - 1024 - $swapSpacer);
 }
 
 . "$PSScriptRoot/../../../scripts/Windows/OS/Setup.ps1";