From 67c6eba5bdde33f50026c5b997331965f6fd1a3c Mon Sep 17 00:00:00 2001
From: Alexander Hess <alexander@webartifex.biz>
Date: Thu, 15 Feb 2024 23:11:26 +0100
Subject: [PATCH] Rename the $REPOS folder

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

diff --git a/.profile b/.profile
index 2994e9e..5a0a925 100644
--- a/.profile
+++ b/.profile
@@ -37,7 +37,7 @@ export VISUAL=$EDITOR
 
 
 # Convenience variables for easier access of some locations
-export REPOS="$HOME/repos"
+export REPOS="$HOME/Repositories"
 
 
 # Python-specific configs