From 13772c78d802f0054bc0f39d71d4ea23ddac943d Mon Sep 17 00:00:00 2001
From: Luca Bilke <luca@bil.ke>
Date: Wed, 26 Feb 2025 11:58:32 +0100
Subject: [PATCH] shell: fix void-packages location

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

diff --git a/common/.config/profile b/common/.config/profile
index ad840302..cb33e5be 100644
--- a/common/.config/profile
+++ b/common/.config/profile
@@ -110,7 +110,7 @@ export WGETRC="${XDG_CONFIG_HOME}/wget/wgetrc"
 export WINEPREFIX="${XDG_DATA_HOME}/wineprefixes/default"
 export WORKON_HOME="${XDG_DATA_HOME}/virtualenv"
 export XAUTHORITY="${XDG_RUNTIME_DIR}/Xauthority"
-export XBPS_DISTDIR="${XDG_DOCUMENTS_DIR}/dev/server/void-packages"
+export XBPS_DISTDIR="${XDG_DOCUMENTS_DIR}/dev/misc/void-packages"
 export ZSH_COMPDUMP="${XDG_CACHE_HOME}/zcompdump"
 export _JAVA_OPTIONS="-Djava.util.prefs.userRoot=${XDG_CONFIG_HOME}/java"
 export GIT_SIGN_FALLBACK_KEY_IDS="config"