From 0e0db33a2a71a72559fbd11143013dfc34faa95c Mon Sep 17 00:00:00 2001
From: Tim Schumacher <timschumi@gmx.de>
Date: Sat, 21 May 2022 20:35:40 +0200
Subject: [PATCH] Ports: Don't unset `{HOME,USER,TERM,PATH}`

These are required for the `dev` environment (or more precisely, `git`)
to work.
---
 Ports/.strip_env.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Ports/.strip_env.sh b/Ports/.strip_env.sh
index 54265ae791..168c487196 100755
--- a/Ports/.strip_env.sh
+++ b/Ports/.strip_env.sh
@@ -1,6 +1,10 @@
 #!/usr/bin/env bash
 
 exec env -i SERENITY_STRIPPED_ENV=1 \
+    HOME="${HOME}" \
+    USER="${USER}" \
+    TERM="${TERM}" \
+    PATH="${PATH}" \
     MAKEJOBS="${MAKEJOBS:-}" \
     IN_SERENITY_PORT_DEV="${IN_SERENITY_PORT_DEV:-}" \
     SERENITY_ARCH="${SERENITY_ARCH:-}" \