felschr/nixos-config
1
1
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

feat: update gnome config

Browse source
This commit is contained in:
Felix Schröter 2021-05-12 23:11:14 +02:00
parent 7d57567af9
commit 8ef629cac6
No known key found for this signature in database
GPG key ID: 910ACB9F6BD26F58
3 changed files with 7 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
desktop/gnome.nix
View file

@ -4,13 +4,13 @@ with pkgs;
let let
pop-shell = stdenv.mkDerivation rec { pop-shell = stdenv.mkDerivation rec {
pname = "pop-shell"; pname = "pop-shell";
version = "2021-03-16"; version = "2021-05-07";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "pop-os"; owner = "pop-os";
repo = "shell"; repo = "shell";
rev = "77650a9aafa2f7adc328424e36dc91705411feb4"; rev = "9507dc38f75f56e657cf071d5f8dc578c5dc9352";
sha256 = "0dff8gl83kx2qzzybk9hxbszv9p8qw8j40qirvfbx6mly7sqknng"; sha256 = "161946y5nk1nlxafhkxyshqn4va10rk911bdbcwxjnak1w7557gm";
}; };
nativeBuildInputs = [ glib nodePackages.typescript ]; nativeBuildInputs = [ glib nodePackages.typescript ];
@ -28,7 +28,6 @@ in {
gnome.dconf-editor gnome.dconf-editor
gnome.gnome-tweaks gnome.gnome-tweaks
gnome.gnome-shell-extensions # required for user-theme gnome.gnome-shell-extensions # required for user-theme
dash-to-panel
appindicator appindicator
pop-shell pop-shell
]; ];

9
home/desktop/gnome.nix
View file

@ -12,12 +12,11 @@ in {
"user-theme@gnome-shell-extensions.gcampax.github.com" "user-theme@gnome-shell-extensions.gcampax.github.com"
"pop-shell@system76.com" "pop-shell@system76.com"
"native-window-placement@gnome-shell-extensions.gcampax.github.com" # works better with pop-shell "native-window-placement@gnome-shell-extensions.gcampax.github.com" # works better with pop-shell
"dash-to-panel@jderose9.github.com"
"appindicatorsupport@rgcjonas.gmail.com" "appindicatorsupport@rgcjonas.gmail.com"
]; ];
favorite-apps = [ "org.gnome.Nautilus.desktop" "firefox.desktop" ]; favorite-apps = [ "org.gnome.Nautilus.desktop" "firefox.desktop" ];
}; };
"org/gnome/shell/extensions/user-theme" = { name = "Pop-dark"; }; "org/gnome/shell/extensions/user-theme" = { name = "Adwaita-dark"; };
"org/gnome/shell/extensions/pop-shell" = { "org/gnome/shell/extensions/pop-shell" = {
tile-by-default = true; tile-by-default = true;
snap-to-grid = true; snap-to-grid = true;
@ -25,11 +24,7 @@ in {
show-title = false; show-title = false;
active-hint = false; active-hint = false;
}; };
"org/gnome/shell/extensions/dash-to-panel" = { "org/gnome/desktop/sound" = { theme-name = "freedesktop"; };
appicon-padding = 4;
panel-size = 36;
};
"org/gnome/desktop/sound" = { theme-name = "Pop"; };
"org/gnome/desktop/input-sources" = { "org/gnome/desktop/input-sources" = {
sources = map mkTuple [ [ "xkb" "gb" ] [ "ibus" "mozc-jp" ] ]; sources = map mkTuple [ [ "xkb" "gb" ] [ "ibus" "mozc-jp" ] ];
xkb-options = [ "compose:ralt" ]; xkb-options = [ "compose:ralt" ];

15
home/desktop/gtk.nix
View file

@ -1,18 +1,7 @@
{ config, pkgs, ... }: { config, pkgs, ... }:
let
pop-gtk-theme = pkgs.pop-gtk-theme.overrideAttrs (oldAttrs: rec {
postInstall = ''
# fix dark gnome-shell theme
ln -s $out/share/gnome-shell/theme/Pop-dark $out/share/themes/Pop-dark/gnome-shell
'';
});
in
{ {
gtk.enable = true; gtk.enable = true;
gtk.theme.name = "Pop-dark"; gtk.theme.name = "Adwaita-dark";
gtk.theme.package = pop-gtk-theme; gtk.gtk3.extraConfig = { gtk-application-prefer-dark-theme = true; };
gtk.gtk3.extraConfig = {
gtk-application-prefer-dark-theme = true;
};
} }