Skip to content

Instantly share code, notes, and snippets.

View joh4nd's full-sized avatar

Johan joh4nd

4 followers · 78 following
View GitHub Profile
@joh4nd
joh4nd / run_python_script_in_conda_env.bat
Created September 14, 2022 08:26 — forked from maximlt/run_python_script_in_conda_env.bat
Run a Python script in a conda environment from a batch file
@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
joh4nd / Installation.md
Created June 28, 2022 14:30 — forked from gavvvr/Installation.md
Using SDKMAN! with git for Windows shell (git bash)

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:

Installing SDKMAN! to your git bash