Skip to content

Instantly share code, notes, and snippets.

View DerTev's full-sized avatar

Tim DerTev

View GitHub Profile
DerTev /
Last active June 15, 2023 19:31


Build docker-image containing leiningen with amazon coretto.


Coming soon

DerTev / build.bat
Last active February 6, 2022 16:10
Build Go-Applications for Windows and Linux
@echo off
if not exist ".\_build\" (
echo Create Build-Dir...
mkdir .\_build\
if "%1"=="" (
echo The first argument must be the Project-Name!
) else (
set GOARCH=amd64
DerTev /
Created November 9, 2021 16:54
Python Project-Setup
#!/usr/bin/env python3
from os.path import isdir
from os import mkdir
from os import chmod
from os import system
project_name = input("Projektname: ")
if isdir(project_name):