Move several options to a ‘defaults’ file

This commit is contained in:
fruchti 2023-02-26 19:59:32 +01:00
parent eb112a9654
commit 214aadd33d
4 changed files with 15 additions and 8 deletions

View file

@ -2,9 +2,7 @@
{
time.timeZone = "Europe/Berlin";
i18n.defaultLocale = "en_GB.UTF-8";
console = {
font = "Lat2-Terminus16";
keyMap = "de";
};
}