From 186544c088cd81345642aba8395e39e8d704af79 Mon Sep 17 00:00:00 2001
From: tastytea <tastytea@tastytea.de>
Date: Wed, 10 Aug 2022 21:24:43 +0200
Subject: [PATCH] zsh: add ${HOME}/.local/opt/bin to path

I put language servers there for now
---
 .config/zsh/.zprofile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.config/zsh/.zprofile b/.config/zsh/.zprofile
index 3e17a4c..1ad76b3 100644
--- a/.config/zsh/.zprofile
+++ b/.config/zsh/.zprofile
@@ -3,7 +3,7 @@ function()                      # Keep local variables in here.
 
 ############################## Paths ###########################################
 
-path=(${HOME}/.local/bin ${path} ${HOME}/bin)
+path=(${HOME}/.local/bin ${path} ${HOME}/bin ${HOME}/.local/opt/bin)
 path=(${(u)path})
 export HISTFILE="${ZDOTDIR}/.zsh_history"
 export ZSH_CACHE_DIR="${XDG_CACHE_HOME:-${HOME}/.cache}/zsh"