From 87ca1e1efcc53c46b964f6f9fb07d28feca70ba4 Mon Sep 17 00:00:00 2001
From: Olivier DOSSMANN <git@dossmann.net>
Date: Wed, 20 Nov 2024 20:12:15 +0100
Subject: [PATCH] fix(ZSH): alias - use devu instead of devu42 directory

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

diff --git a/.zshrc b/.zshrc
index 9f22fab..f8a663f 100644
--- a/.zshrc
+++ b/.zshrc
@@ -140,7 +140,7 @@ alias rero="ALIAS=rero /home/od/projets/rerologik/agnes"
 # coloration de la commande IP
 alias ip='ip -c'
 alias k='kubectl'
-alias devu="${HOME}/devu42/devu/devu"
+alias devu="${HOME}/devu/devu/devu"
 
 # To customize prompt, run `p10k configure` or edit ~/.p10k.zsh.
 [[ -f ~/.p10k.zsh ]] && source ~/.p10k.zsh