From 9bc24714b4aa71c3f3866e284dfe3ea905e16be2 Mon Sep 17 00:00:00 2001 From: SqrtMinusOne Date: Tue, 18 Nov 2025 10:48:19 +0300 Subject: [PATCH] console: fix micromamba for Arch --- .bashrc | 4 ++-- .config/fish/config.fish | 4 ++-- Console.org | 8 ++++---- 3 files changed, 8 insertions(+), 8 deletions(-) diff --git a/.bashrc b/.bashrc index 38cd094..7bce6d6 100644 --- a/.bashrc +++ b/.bashrc @@ -129,9 +129,9 @@ fi # [[file:Console.org::*Micromamba][Micromamba:1]] 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"; - __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 eval "$__mamba_setup" else diff --git a/.config/fish/config.fish b/.config/fish/config.fish index 73883c4..e0ce685 100644 --- a/.config/fish/config.fish +++ b/.config/fish/config.fish @@ -38,9 +38,9 @@ set fish_greeting # [[file:../../Console.org::*Micromamba][Micromamba:1]] 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" - $MAMBA_EXE shell hook --shell fish --prefix $MAMBA_ROOT_PREFIX | source + $MAMBA_EXE shell hook --shell fish --root-prefix $MAMBA_ROOT_PREFIX | source end if test -n "$INIT_MAMBA"; diff --git a/Console.org b/Console.org index bd5b8ae..c3224f6 100644 --- a/Console.org +++ b/Console.org @@ -358,9 +358,9 @@ Yeah, tell this to yourself #+begin_src bash 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"; - __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 eval "$__mamba_setup" else @@ -455,9 +455,9 @@ set fish_greeting First, a function to initialize micromamba. #+begin_src fish 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" - $MAMBA_EXE shell hook --shell fish --prefix $MAMBA_ROOT_PREFIX | source + $MAMBA_EXE shell hook --shell fish --root-prefix $MAMBA_ROOT_PREFIX | source end if test -n "$INIT_MAMBA";