153 lines
5 KiB
Nix
153 lines
5 KiB
Nix
{ config, pkgs, ... }:
|
|
|
|
{
|
|
# Home Manager needs a bit of information about you and the paths it should
|
|
# manage.
|
|
home.username = "leyla";
|
|
home.homeDirectory = "/home/leyla";
|
|
|
|
# This value determines the Home Manager release that your configuration is
|
|
# compatible with. This helps avoid breakage when a new Home Manager release
|
|
# introduces backwards incompatible changes.
|
|
#
|
|
# You should not change this value, even if you update Home Manager. If you do
|
|
# want to update the value, then make sure to first check the Home Manager
|
|
# release notes.
|
|
home.stateVersion = "23.11"; # Please read the comment before changing.
|
|
|
|
# The home.packages option allows you to install Nix packages into your
|
|
# environment.
|
|
home.packages = [
|
|
# # Adds the 'hello' command to your environment. It prints a friendly
|
|
# # "Hello, world!" when run.
|
|
# pkgs.hello
|
|
|
|
# # It is sometimes useful to fine-tune packages, for example, by applying
|
|
# # overrides. You can do that directly here, just don't forget the
|
|
# # parentheses. Maybe you want to install Nerd Fonts with a limited number of
|
|
# # fonts?
|
|
# (pkgs.nerdfonts.override { fonts = [ "FantasqueSansMono" ]; })
|
|
|
|
# # You can also create simple shell scripts directly inside your
|
|
# # configuration. For example, this adds a command 'my-hello' to your
|
|
# # environment:
|
|
# (pkgs.writeShellScriptBin "my-hello" ''
|
|
# echo "Hello, ${config.home.username}!"
|
|
# '')
|
|
];
|
|
|
|
# Home Manager is pretty good at managing dotfiles. The primary way to manage
|
|
# plain files is through 'home.file'.
|
|
home.file = {
|
|
# # Building this configuration will create a copy of 'dotfiles/screenrc' in
|
|
# # the Nix store. Activating the configuration will then make '~/.screenrc' a
|
|
# # symlink to the Nix store copy.
|
|
# ".screenrc".source = dotfiles/screenrc;
|
|
|
|
# # You can also set the file content immediately.
|
|
# ".gradle/gradle.properties".text = ''
|
|
# org.gradle.console=verbose
|
|
# org.gradle.daemon.idletimeout=3600000
|
|
# '';
|
|
};
|
|
|
|
# Home Manager can also manage your environment variables through
|
|
# 'home.sessionVariables'. If you don't want to manage your shell through Home
|
|
# Manager then you have to manually source 'hm-session-vars.sh' located at
|
|
# either
|
|
#
|
|
# ~/.nix-profile/etc/profile.d/hm-session-vars.sh
|
|
#
|
|
# or
|
|
#
|
|
# ~/.local/state/nix/profiles/profile/etc/profile.d/hm-session-vars.sh
|
|
#
|
|
# or
|
|
#
|
|
# /etc/profiles/per-user/leyla/etc/profile.d/hm-session-vars.sh
|
|
#
|
|
home.sessionVariables = {
|
|
# EDITOR = "emacs";
|
|
};
|
|
|
|
programs = {
|
|
# Let Home Manager install and manage itself.
|
|
home-manager.enable = true;
|
|
git = {
|
|
enable = true;
|
|
userName = "Leyla Becker";
|
|
userEmail = "git@jan-leila.com";
|
|
extraConfig.init.defaultBranch = "main";
|
|
};
|
|
};
|
|
|
|
dconf = {
|
|
enable = true;
|
|
settings = {
|
|
"org/gnome/desktop/interface".color-scheme = "prefer-dark";
|
|
|
|
"org/gnome/shell" = {
|
|
disable-user-extensions = false; # enables user extensions
|
|
enabled-extensions = [
|
|
# Put UUIDs of extensions that you want to enable here.
|
|
# If the extension you want to enable is packaged in nixpkgs,
|
|
# you can easily get its UUID by accessing its extensionUuid
|
|
# field (look at the following example).
|
|
pkgs.gnomeExtensions.dash-to-dock.extensionUuid
|
|
|
|
# Alternatively, you can manually pass UUID as a string.
|
|
# "dash-to-dock@micxgx.gmail.com"
|
|
];
|
|
};
|
|
|
|
"org/gnome/shell/extensions/dash-to-dock" = {
|
|
"dock-position" = "LEFT";
|
|
"intellihide-mode" = "ALL_WINDOWS";
|
|
"show-trash" = false;
|
|
"require-pressure-to-show" = true;
|
|
"show-mounts" = false;
|
|
};
|
|
|
|
"org/gnome/settings-daemon/plugins/media-keys" = {
|
|
custom-keybindings = [
|
|
"/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/"
|
|
];
|
|
};
|
|
"org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0" = {
|
|
binding = "<Super>t";
|
|
command = "kgx";
|
|
name = "Open Terminal";
|
|
};
|
|
};
|
|
};
|
|
|
|
# dconf.settings = {
|
|
# "org/gnome/settings-daemon/plugins/media-keys" = {
|
|
# custom-keybindings = [
|
|
# "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/"
|
|
# ];
|
|
# };
|
|
# };
|
|
|
|
# "org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0" = {
|
|
# binding = "<Super>t";
|
|
# command = "kgx";
|
|
# name = "Open Terminal";
|
|
# };
|
|
|
|
|
|
# services.xserver.desktopManager.gnome3 = {
|
|
# extraGSettingsOverridePackages = with pkgs; [ gnome3.gnome-settings-daemon ];
|
|
# extraGSettingsOverrides = ''
|
|
# [org.gnome.settings-daemon.plugins.media-keys]
|
|
# custom-keybindings=['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/']
|
|
|
|
|
|
# [org.gnome.settings-daemon.plugins.media-keys.custom-keybindings.custom0]
|
|
# binding='<Super>t'
|
|
# command='kgx'
|
|
# name='Open terminal'
|
|
# '';
|
|
# }
|
|
}
|