2023-04-02 16:03:21 +01:00
|
|
|
{ config, ... }:
|
|
|
|
|
|
|
|
{
|
|
|
|
system.keyboard = {
|
|
|
|
enableKeyMapping = true;
|
|
|
|
remapCapsLockToEscape = true;
|
|
|
|
};
|
|
|
|
|
|
|
|
system.defaults.NSGlobalDomain = {
|
2023-10-30 23:04:56 +00:00
|
|
|
# Speed up key repeat
|
2023-04-02 16:03:21 +01:00
|
|
|
InitialKeyRepeat = 14;
|
|
|
|
KeyRepeat = 1;
|
2023-10-30 23:04:56 +00:00
|
|
|
# In general, have Apple not mess with our text
|
|
|
|
NSAutomaticCapitalizationEnabled = false;
|
|
|
|
NSAutomaticDashSubstitutionEnabled = false;
|
|
|
|
NSAutomaticPeriodSubstitutionEnabled = false;
|
|
|
|
NSAutomaticQuoteSubstitutionEnabled = null;
|
|
|
|
NSAutomaticSpellingCorrectionEnabled = false;
|
2023-04-02 16:03:21 +01:00
|
|
|
};
|
|
|
|
}
|