Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- { lib, config, pkgs, ... }:
- {
- home.username = "redacted";
- home.homeDirectory = "/home/redacted";
- home.stateVersion = "24.11";
- home.sessionVariables = {};
- home.packages = with pkgs; [
- fastfetch
- vim-full
- curl
- wget
- gnome-tweaks
- gnome-extension-manager
- gnomeExtensions.user-themes
- gnomeExtensions.vitals
- gnomeExtensions.dash-to-dock
- whitesur-icon-theme
- adw-gtk3
- dconf-editor
- ubuntu-sans
- ubuntu-sans-mono
- cmatrix
- vscode
- ];
- nixpkgs.config.allowUnfree = true;
- fonts.fontconfig.enable = true;
- fonts.fontconfig.defaultFonts.monospace = [ "Ubuntu Sans Mono 11" ];
- fonts.fontconfig.defaultFonts.sansSerif = [ "Ubuntu Sans 11" ];
- programs.git = {
- enable = true;
- userName = "redacted";
- userEmail = "redacted;
- };
- dconf.settings = {
- "org/gnome/desktop/interface" = {
- color-scheme = "prefer-dark";
- gtk-theme = "adw-gtk3-dark";
- icon-theme = "WhiteSur-dark";
- cursor-theme = "Adwaita";
- font-name = "Ubuntu Sans 11";
- monospace-font-name = "Ubuntu Sans Mono 11";
- document-font-name = "Ubuntu Sans 11";
- enable-hot-corners = false;
- clock-format = "24h";
- };
- "org/gnome/desktop/input-sources" = {
- sources = "[('xkb', 'us'), ('xkb', 'ru')]";
- xkb-options = [ "grp:ctrl_space_toggle" ];
- };
- "org/gnome/shell" = {
- disable-user-extensions = false;
- enabled-extensions = [
- "user-theme@gnome-shell-extensions.gcampax.github.com"
- "Vitals@CoreCoding.com"
- "dash-to-dock@micxgx.gmail.com"
- ];
- favorite-apps = [
- "firefox.desktop"
- "org.gnome.Nautilus.desktop"
- "org.gnome.Ptyxis.desktop"
- "gvim.desktop"
- ];
- };
- "org/gnome/desktop/peripherals/touchpad" = {
- tap-to-click = true;
- two-finger-scrolling-enabled = true;
- };
- "org/gnome/desktop/wm/preferences" = {
- theme = "Adwaita";
- audible-bell = false;
- titlebar-font = "Ubuntu Sans 11";
- button-layout = "appmenu:minimize,maximize,close";
- };
- "org/gnome/Ptyxis" = {
- font-name = "Ubuntu Sans Mono 11";
- visual-bell = false;
- audible-bell = false;
- bold-is-bright = true;
- };
- "org/gnome/desktop/background" = {
- picture-uri = "color:#000000";
- picture-uri-dark = "color:#000000";
- };
- "org/gnome/desktop/sound" = {
- event-sounds = true;
- };
- };
- programs.home-manager.enable = true;
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement