console: fix micromamba for Arch

This commit is contained in:
Pavel Korytov 2025-11-18 10:48:19 +03:00
parent 1861aa7cf8
commit 9bc24714b4
3 changed files with 8 additions and 8 deletions

View file

@ -129,9 +129,9 @@ fi
# [[file:Console.org::*Micromamba][Micromamba:1]] # [[file:Console.org::*Micromamba][Micromamba:1]]
init_mamba () { init_mamba () {
export MAMBA_EXE="/home/pavel/.guix-extra-profiles/dev/dev/bin/micromamba"; export MAMBA_EXE="/usr/bin/micromamba";
export MAMBA_ROOT_PREFIX="/home/pavel/micromamba"; export MAMBA_ROOT_PREFIX="/home/pavel/micromamba";
__mamba_setup="$("$MAMBA_EXE" shell hook --shell bash --prefix "$MAMBA_ROOT_PREFIX" 2> /dev/null)" __mamba_setup="$("$MAMBA_EXE" shell hook --shell bash --root-prefix "$MAMBA_ROOT_PREFIX" 2> /dev/null)"
if [ $? -eq 0 ]; then if [ $? -eq 0 ]; then
eval "$__mamba_setup" eval "$__mamba_setup"
else else

View file

@ -38,9 +38,9 @@ set fish_greeting
# [[file:../../Console.org::*Micromamba][Micromamba:1]] # [[file:../../Console.org::*Micromamba][Micromamba:1]]
function init_mamba function init_mamba
set -gx MAMBA_EXE "/home/pavel/.guix-extra-profiles/dev/dev/bin/micromamba" set -gx MAMBA_EXE "/usr/bin/micromamba"
set -gx MAMBA_ROOT_PREFIX "/home/pavel/micromamba" set -gx MAMBA_ROOT_PREFIX "/home/pavel/micromamba"
$MAMBA_EXE shell hook --shell fish --prefix $MAMBA_ROOT_PREFIX | source $MAMBA_EXE shell hook --shell fish --root-prefix $MAMBA_ROOT_PREFIX | source
end end
if test -n "$INIT_MAMBA"; if test -n "$INIT_MAMBA";

View file

@ -358,9 +358,9 @@ Yeah, tell this to yourself
#+begin_src bash #+begin_src bash
init_mamba () { init_mamba () {
export MAMBA_EXE="/home/pavel/.guix-extra-profiles/dev/dev/bin/micromamba"; export MAMBA_EXE="/usr/bin/micromamba";
export MAMBA_ROOT_PREFIX="/home/pavel/micromamba"; export MAMBA_ROOT_PREFIX="/home/pavel/micromamba";
__mamba_setup="$("$MAMBA_EXE" shell hook --shell bash --prefix "$MAMBA_ROOT_PREFIX" 2> /dev/null)" __mamba_setup="$("$MAMBA_EXE" shell hook --shell bash --root-prefix "$MAMBA_ROOT_PREFIX" 2> /dev/null)"
if [ $? -eq 0 ]; then if [ $? -eq 0 ]; then
eval "$__mamba_setup" eval "$__mamba_setup"
else else
@ -455,9 +455,9 @@ set fish_greeting
First, a function to initialize micromamba. First, a function to initialize micromamba.
#+begin_src fish #+begin_src fish
function init_mamba function init_mamba
set -gx MAMBA_EXE "/home/pavel/.guix-extra-profiles/dev/dev/bin/micromamba" set -gx MAMBA_EXE "/usr/bin/micromamba"
set -gx MAMBA_ROOT_PREFIX "/home/pavel/micromamba" set -gx MAMBA_ROOT_PREFIX "/home/pavel/micromamba"
$MAMBA_EXE shell hook --shell fish --prefix $MAMBA_ROOT_PREFIX | source $MAMBA_EXE shell hook --shell fish --root-prefix $MAMBA_ROOT_PREFIX | source
end end
if test -n "$INIT_MAMBA"; if test -n "$INIT_MAMBA";