From 8dd5e34e4d03ae92a4c4c7fcc57f241387c064aa Mon Sep 17 00:00:00 2001
From: fabian <accounts.pet@szimnau.de>
Date: Sun, 5 Mar 2023 15:13:08 +0100
Subject: [PATCH] cosmetics: whitespace

---
 home_external/.profile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/home_external/.profile b/home_external/.profile
index c2aecf5..3f2eb41 100644
--- a/home_external/.profile
+++ b/home_external/.profile
@@ -12,7 +12,7 @@
 if [ -n "$BASH_VERSION" ]; then
     # include .bashrc if it exists
     if [ -f "$HOME/.bashrc" ]; then
-	. "$HOME/.bashrc"
+    . "$HOME/.bashrc"
     fi
 fi