From 99648c20701fe8a31206dbc572fe471f2df44bc5 Mon Sep 17 00:00:00 2001 From: SqrtMinusOne Date: Wed, 20 Sep 2023 12:52:58 +0300 Subject: [PATCH] fix(console): mamba path --- .bashrc | 2 +- .config/fish/config.fish | 2 +- Console.org | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.bashrc b/.bashrc index bc9e2f5..c8cda3f 100644 --- a/.bashrc +++ b/.bashrc @@ -133,7 +133,7 @@ fi # [[file:Console.org::*Micromamba][Micromamba:1]] init_mamba () { - export MAMBA_EXE="/gnu/store/w0rrglxs2247nr4wawrh5dylisjra1q4-micromamba-bin-1.4.4-0/bin/micromamba"; + export MAMBA_EXE="/home/pavel/.guix-extra-profiles/dev/dev/bin/micromamba"; export MAMBA_ROOT_PREFIX="/home/pavel/micromamba"; __mamba_setup="$("$MAMBA_EXE" shell hook --shell bash --prefix "$MAMBA_ROOT_PREFIX" 2> /dev/null)" if [ $? -eq 0 ]; then diff --git a/.config/fish/config.fish b/.config/fish/config.fish index b2c66d7..ba30c0e 100644 --- a/.config/fish/config.fish +++ b/.config/fish/config.fish @@ -34,7 +34,7 @@ set fish_greeting # [[file:../../Console.org::*Micromamba][Micromamba:1]] function init_mamba - set -gx MAMBA_EXE "/gnu/store/w0rrglxs2247nr4wawrh5dylisjra1q4-micromamba-bin-1.4.4-0/bin/micromamba" + set -gx MAMBA_EXE "/home/pavel/.guix-extra-profiles/dev/dev/bin/micromamba" set -gx MAMBA_ROOT_PREFIX "/home/pavel/micromamba" $MAMBA_EXE shell hook --shell fish --prefix $MAMBA_ROOT_PREFIX | source end diff --git a/Console.org b/Console.org index 2bb15d6..873fca8 100644 --- a/Console.org +++ b/Console.org @@ -434,7 +434,7 @@ Yeah, tell this to yourself #+begin_src bash init_mamba () { - export MAMBA_EXE="/gnu/store/w0rrglxs2247nr4wawrh5dylisjra1q4-micromamba-bin-1.4.4-0/bin/micromamba"; + export MAMBA_EXE="/home/pavel/.guix-extra-profiles/dev/dev/bin/micromamba"; export MAMBA_ROOT_PREFIX="/home/pavel/micromamba"; __mamba_setup="$("$MAMBA_EXE" shell hook --shell bash --prefix "$MAMBA_ROOT_PREFIX" 2> /dev/null)" if [ $? -eq 0 ]; then @@ -527,7 +527,7 @@ set fish_greeting First, a function to initialize micromamba. #+begin_src fish function init_mamba - set -gx MAMBA_EXE "/gnu/store/w0rrglxs2247nr4wawrh5dylisjra1q4-micromamba-bin-1.4.4-0/bin/micromamba" + set -gx MAMBA_EXE "/home/pavel/.guix-extra-profiles/dev/dev/bin/micromamba" set -gx MAMBA_ROOT_PREFIX "/home/pavel/micromamba" $MAMBA_EXE shell hook --shell fish --prefix $MAMBA_ROOT_PREFIX | source end