use condabin's conda instead of bin/conda

This commit is contained in:
cmdr2 2024-10-11 19:13:02 +05:30
parent 79cfee0447
commit 648187d2aa

View File

@ -17,6 +17,9 @@ source "$CONDA_BASEPATH/etc/profile.d/conda.sh" # avoids the 'shell not initiali
conda activate || fail "Failed to activate conda"
# hack to fix conda 4.14 on older installations
cp $CONDA_BASEPATH/condabin/conda $CONDA_BASEPATH/bin/conda
# remove the old version of the dev console script, if it's still present
if [ -e "open_dev_console.sh" ]; then
rm "open_dev_console.sh"