/os-setup-public

Stuff needed by my OS-setup that must be public

No issues in this repository yet.