From 557959af9af1adf3030728b5f9eafb4e73b09766 Mon Sep 17 00:00:00 2001
From: Hektor Misplon <hektor.misplon@pm.me>
Date: Mon, 15 May 2023 13:37:29 +0200
Subject: [PATCH] Add micromamba alias

---
 .bash_aliases | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.bash_aliases b/.bash_aliases
index f27ad7d..e67f1ea 100644
--- a/.bash_aliases
+++ b/.bash_aliases
@@ -62,6 +62,7 @@ alias r5rs-repl='plt-r5rs --no-prim'
 alias vi='vim'
 alias xopp="xournalpp $1 &>/dev/null"
 alias xev='xev | grep -A2 ButtonPress' # Ignore mouse movements
+alias conda='micromamba'
 
 reboot_to_windows ()
 {