mirror of
https://github.com/SqrtMinusOne/dotfiles.git
synced 2025-12-10 19:23:03 +03:00
fix(console): mamba path
This commit is contained in:
parent
13789a157a
commit
99648c2070
3 changed files with 4 additions and 4 deletions
2
.bashrc
2
.bashrc
|
|
@ -133,7 +133,7 @@ fi
|
||||||
|
|
||||||
# [[file:Console.org::*Micromamba][Micromamba:1]]
|
# [[file:Console.org::*Micromamba][Micromamba:1]]
|
||||||
init_mamba () {
|
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";
|
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 --prefix "$MAMBA_ROOT_PREFIX" 2> /dev/null)"
|
||||||
if [ $? -eq 0 ]; then
|
if [ $? -eq 0 ]; then
|
||||||
|
|
|
||||||
|
|
@ -34,7 +34,7 @@ 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 "/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"
|
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 --prefix $MAMBA_ROOT_PREFIX | source
|
||||||
end
|
end
|
||||||
|
|
|
||||||
|
|
@ -434,7 +434,7 @@ Yeah, tell this to yourself
|
||||||
|
|
||||||
#+begin_src bash
|
#+begin_src bash
|
||||||
init_mamba () {
|
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";
|
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 --prefix "$MAMBA_ROOT_PREFIX" 2> /dev/null)"
|
||||||
if [ $? -eq 0 ]; then
|
if [ $? -eq 0 ]; then
|
||||||
|
|
@ -527,7 +527,7 @@ 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 "/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"
|
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 --prefix $MAMBA_ROOT_PREFIX | source
|
||||||
end
|
end
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue