joh4nd

@echo OFF
rem How to run a Python script in a given conda environment from a batch file.

rem It doesn't require:
rem - conda to be in the PATH
rem - cmd.exe to be initialized with conda init

rem Define here the path to your conda installation
set CONDAPATH=C:\ProgramData\Miniconda3
rem Define here the name of the environment

joh4nd

Using SDKMAN! with git for Windows shell (git bash)

Prerequisite

If you are a software developer, most probably you already have both components already installed:

• git for Windows
• 7-zip (The easiest way to install: scoop install 7zip)

Installing SDKMAN! to your git bash