From 60df42d1108019579d44b08372584d31daa0b105 Mon Sep 17 00:00:00 2001 From: THEON-1 Date: Tue, 7 Oct 2025 11:59:10 +0200 Subject: [PATCH] direnvrc --- .envrc | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 .envrc diff --git a/.envrc b/.envrc new file mode 100644 index 0000000..cd403cb --- /dev/null +++ b/.envrc @@ -0,0 +1,12 @@ +export MAMBA_EXE='/home/maxime/.local/bin/micromamba'; +export MAMBA_ROOT_PREFIX='/home/maxime/.micromamba'; +__mamba_setup="$("$MAMBA_EXE" shell hook --shell zsh --root-prefix "$MAMBA_ROOT_PREFIX" 2> /dev/null)" +if [ $? -eq 0 ]; then + eval "$__mamba_setup" +else + alias micromamba="$MAMBA_EXE" # Fallback on help from micromamba activate +fi +unset __mamba_setup + +micromamba activate picoCTF +