Add micromamba alias

2023-05-15 13:37:29 +02:00
parent 27aef5502d
commit 557959af9a
1 changed files with 1 additions and 0 deletions
--- 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 ()
 {