crtxdmp.

A collection of ideas, snippets and other things.


GIT credentials as environment variable

git config credential.helper '!f() { sleep 1; echo "username=${GIT_USER}"; echo "password=${GIT_PASSWORD}"; }; f'

— May 31, 2021