update

2026-04-20 12:30:30 +02:00
parent 315f9442ae
commit 8562298d83
7 changed files with 29 additions and 14 deletions
@@ -42,3 +42,8 @@ if (( $+commands[fnm] )); then
 	eval "$(fnm env --shell zsh --use-on-cd)"
 fi

+# bat
+
+if (( $+commands[bat] )); then
+	export BAT_THEME="Catppuccin Mocha"
+fi
@@ -187,7 +187,7 @@ if (( $+commands[git] )); then
 		}

 		pingo() {
-			cd "$HOME/Repositories/PGdP" || return 1
+			cd "$HOME/Repositories/Uni" || return 1
 			local repo
 			repo=$(uy_git_repo_from_clipboard) || return 1
 			local dir_name="${repo:t:r}"
@@ -44,6 +44,7 @@ fi
 # Paths

 [[ -f "$HOME/.cargo/env" ]] && source "$HOME/.cargo/env"
+(( $+commands[opam] )) && eval "$(opam env)"
 prepend_path "$HOME/go/bin"
 prepend_path "$HOME/.local/bin"
 prepend_path "$HOME/.local/scripts"