mirror of https://github.com/mamba-org/mamba.git
parent
79034ebff1
commit
2e8b3ee7bc
|
@ -13,13 +13,15 @@ __MAMBA_INSERT_MAMBA_EXE__
|
||||||
@SET __mambabin_dir=
|
@SET __mambabin_dir=
|
||||||
@SET __mamba_root=
|
@SET __mamba_root=
|
||||||
|
|
||||||
|
@echo off
|
||||||
@REM We need to define an alias with the same name as the executable to be called by the user.
|
@REM We need to define an alias with the same name as the executable to be called by the user.
|
||||||
@REM Get the base filename of MAMBA_EXE
|
@REM Get the base filename of MAMBA_EXE
|
||||||
@FOR %%A in ("%MAMBA_EXE%") do set "__mamba_filename=%%~nxA"
|
@FOR %%A in ("%MAMBA_EXE%") do (
|
||||||
@REM Remove .exe extension from the filename
|
@set "__mamba_filename=%%~nxA"
|
||||||
@SET "__mamba_name=!__mamba_filename:%~x1=!"
|
@REM Remove .exe extension from the filename
|
||||||
@REM Define correct alias depending on the executable name
|
@SET "__mamba_name=!__mamba_filename:%~x1=!"
|
||||||
@set "__mamba_cmd=call ""%MAMBA_BAT%"" $*"
|
@REM Define correct alias depending on the executable name
|
||||||
@DOSKEY !__mamba_name!=!__mamba_cmd!
|
@set "__mamba_cmd=call ""%MAMBA_BAT%"" $*"
|
||||||
|
@DOSKEY !__mamba_name!=!__mamba_cmd!
|
||||||
|
)
|
||||||
@SET CONDA_SHLVL=0
|
@SET CONDA_SHLVL=0
|
||||||
|
|
Loading…
Reference in New Issue