2017-05-14 01:00:29 +02:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
|
|
|
system.defaults.NSGlobalDomain.KeyRepeat = 1;
|
2018-01-01 09:20:27 +09:00
|
|
|
system.defaults.dock.autohide-delay = "0.24";
|
2017-05-14 01:00:29 +02:00
|
|
|
system.defaults.dock.orientation = "left";
|
|
|
|
|
|
|
|
test = ''
|
|
|
|
echo checking defaults write in /activate-user >&2
|
|
|
|
grep "defaults write -g 'KeyRepeat' -int 1" ${config.out}/activate-user
|
|
|
|
grep "defaults write com.apple.dock 'orientation' -string 'left'" ${config.out}/activate-user
|
2018-01-01 09:20:27 +09:00
|
|
|
grep "defaults write com.apple.dock 'autohide-delay' -float 0.24" ${config.out}/activate-user
|
2017-05-14 01:00:29 +02:00
|
|
|
'';
|
|
|
|
}
|