rope/nixos
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update common.nix

Browse source
This commit is contained in:
ediblerope 2025-12-03 11:05:16 +00:00 • committed by GitHub
parent 02908dc450
commit 9f0df291d7
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 18 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

29
common.nix
View file

@ -27,21 +27,28 @@ services.desktopManager.gnome.enable = true;
systemd.user.services.gnomeSettings = {
description = "Apply GNOME custom settings";
wantedBy = [ "default.target" ];
after = [ "graphical-session.target" ];
after = [ "graphical-session.target" "dbus.service" ];
serviceConfig = {
Type = "oneshot";
ExecStart = pkgs.writeShellScript "apply-gnome-settings" ''
echo "Running GNOME settings script..." >> /home/fred/gnome-settings.log
export DBUS_SESSION_BUS_ADDRESS=unix:path=$XDG_RUNTIME_DIR/bus
LOG=~/gnome-settings.log
echo "---- RUN $(date) ----" >> "$LOG"
# Debug info
echo "XDG_SESSION_TYPE=$XDG_SESSION_TYPE" >> "$LOG"
echo "XDG_SESSION_DESKTOP=$XDG_SESSION_DESKTOP" >> "$LOG"
echo "DBUS_SESSION_BUS_ADDRESS=$DBUS_SESSION_BUS_ADDRESS" >> "$LOG"
echo "Runtime dir: $XDG_RUNTIME_DIR" >> "$LOG"
export DBUS_SESSION_BUS_ADDRESS="unix:path=$XDG_RUNTIME_DIR/bus"
echo "Running settings..." >> "$LOG"
gsettings set org.gnome.desktop.interface color-scheme 'prefer-dark' >> "$LOG" 2>&1
gsettings set org.gnome.desktop.interface gtk-theme 'Adwaita-dark' >> "$LOG" 2>&1
gsettings set org.gnome.desktop.wm.keybindings close "['<Super>q']" >> "$LOG" 2>&1
gsettings set org.gnome.settings-daemon.plugins.media-keys home "['<Super>e']" >> "$LOG" 2>&1
gsettings set org.gnome.settings-daemon.plugins.media-keys cont
gsettings set org.gnome.desktop.interface color-scheme 'prefer-dark'
gsettings set org.gnome.desktop.interface gtk-theme 'Adwaita-dark'
gsettings set org.gnome.desktop.wm.keybindings close "['<Super>q']"
gsettings set org.gnome.settings-daemon.plugins.media-keys home "['<Super>e']"
gsettings set org.gnome.settings-daemon.plugins.media-keys control-center "['<Super>i']"
'';
};
};
# Define a user account. Don't forget to set a password with ‘passwd’.