Skip to content

Instantly share code, notes, and snippets.

View DerTev's full-sized avatar
👋
Hey!

Tim DerTev

👋
Hey!
View GitHub Profile
@DerTev
DerTev / README.md
Last active June 15, 2023 19:31
lein-docker

lein-docker

Build docker-image containing leiningen with amazon coretto.

Usage

Coming soon

@DerTev
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
DerTev / project_setup.py
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):