Andreas Zweili be95c56aa7 write the username into a separate file		2021-12-31 10:32:47 +01:00
..
default.nix	write the username into a separate file	2021-12-31 10:32:47 +01:00