From c40d4ed83f972d5a71ed1045ba0eada2417b735a Mon Sep 17 00:00:00 2001
From: Manuel Thalmann <m@nuth.ch>
Date: Sat, 29 Jul 2023 02:59:03 +0200
Subject: [PATCH] Decrease the size of the 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 f9720a91..151943e0 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.5 * 1024 * 1024) - 1024 - $swapSpacer);
+    Add-Partition 3 ((1.4 * 1024 * 1024) - 1024 - $swapSpacer);
 }
 
 . "$PSScriptRoot/../../../scripts/Windows/OS/Setup.ps1";