Update common.nix
This commit is contained in:
parent
1693e60f12
commit
055e98b1bd
1 changed files with 16 additions and 17 deletions
|
|
@ -7,7 +7,9 @@ boot.kernelPackages = pkgs.linuxPackages_latest;
|
||||||
|
|
||||||
# Shell aliases
|
# Shell aliases
|
||||||
environment.shellAliases = {
|
environment.shellAliases = {
|
||||||
update = "sudo nixos-rebuild switch --option tarball-ttl 0";
|
update = "sudo nixos-rebuild switch --upgrade --option tarball-ttl 0";
|
||||||
|
clean = "sudo nix-collect-garbage -d"; # Clean old generations
|
||||||
|
ll = "ls -alh";
|
||||||
};
|
};
|
||||||
|
|
||||||
# Add packages
|
# Add packages
|
||||||
|
|
@ -21,9 +23,7 @@ services.xserver.enable = true;
|
||||||
services.displayManager.gdm.enable = true;
|
services.displayManager.gdm.enable = true;
|
||||||
services.desktopManager.gnome.enable = true;
|
services.desktopManager.gnome.enable = true;
|
||||||
|
|
||||||
programs.dconf = {
|
programs.dconf.profiles.user.databases = [{
|
||||||
enable = true;
|
|
||||||
profiles.user.databases = [{
|
|
||||||
settings = {
|
settings = {
|
||||||
"org/gnome/settings-daemon/plugins/media-keys" = {
|
"org/gnome/settings-daemon/plugins/media-keys" = {
|
||||||
home = "<Super>e";
|
home = "<Super>e";
|
||||||
|
|
@ -37,7 +37,6 @@ programs.dconf = {
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
}];
|
}];
|
||||||
};
|
|
||||||
|
|
||||||
# Define a user account. Don't forget to set a password with ‘passwd’.
|
# Define a user account. Don't forget to set a password with ‘passwd’.
|
||||||
users.users.fred = {
|
users.users.fred = {
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue