Mise à jour et ajout de proton-ge & steam

This commit is contained in:
2026-08-10 00:16:26 +02:00
parent b985fb589c
commit cd3a057d2a
12 changed files with 168 additions and 56 deletions
+53 -7
View File
@@ -17,23 +17,29 @@ in
default = true;
description = "Enable the PaperWM extension.";
};
app-hider = mkOption {
type = types.bool;
default = true;
description = "Enable the App Hider extension.";
};
dash-to-panel = mkOption {
type = types.bool;
default = true;
description = "Enable the Dash to Panel extension.";
};
blur-my-shell = mkOption {
type = types.bool;
default = true;
description = "Enable the Blur My Shell extension.";
};
dynamic-music-pill = mkOption {
type = types.bool;
default = true;
description = "Enable the Dynamic Music Pill extension.";
};
};
};
config = mkIf cfg.enable {
home.packages = mkMerge [
[
pkgs.numix-icon-theme
@@ -42,8 +48,9 @@ in
(mkIf cfg.extensions.paperwm [ pkgs.gnomeExtensions.paperwm ])
(mkIf cfg.extensions.app-hider [ pkgs.gnomeExtensions.app-hider ])
(mkIf cfg.extensions.dash-to-panel [ pkgs.gnomeExtensions.dash-to-panel ])
(mkIf cfg.extensions.blur-my-shell [ pkgs.gnomeExtensions.blur-my-shell ])
(mkIf cfg.extensions.dynamic-music-pill [ pkgs.gnomeExtensions.dynamic-music-pill ])
];
dconf = {
enable = true;
settings = mkMerge [
@@ -57,7 +64,6 @@ in
])
];
};
# We define the interface settings to use a teal accent color and prefer dark color scheme.
"org/gnome/desktop/interface" = {
accent-color = "teal";
@@ -68,7 +74,6 @@ in
"org/gnome/desktop/wm/preferences" = {
button-layout = "appmenu:maximize,minimize,close";
};
# We define the shell settings to enable user extensions
# and enable the PaperWM, App Hider, and Dash to Panel extensions if they are enabled in the configuration.
"org/gnome/shell" = {
@@ -79,9 +84,30 @@ in
(mkIf cfg.extensions.paperwm [ paperwm.extensionUuid ])
(mkIf cfg.extensions.app-hider [ app-hider.extensionUuid ])
(mkIf cfg.extensions.dash-to-panel [ dash-to-panel.extensionUuid ])
(mkIf cfg.extensions.blur-my-shell [ blur-my-shell.extensionUuid ])
(mkIf cfg.extensions.dynamic-music-pill [ dynamic-music-pill.extensionUuid ])
];
};
}
(mkIf cfg.extensions.dynamic-music-pill {
"org/gnome/shell/extensions/dynamic-music-pill" = {
vertical-offset = 0;
target-container = 3;
edge-margin = 10;
border-radius = 5;
panel-pill-height = 32;
visualizer-height = 16;
visualizer-padding = 10;
visualizer-bar-width = 1;
enable-shadow = false;
has-seen-first-hint = true;
pill-dynamic-width = false;
enable-transparency = false;
};
})
(mkIf cfg.extensions.app-hider {
"org/gnome/shell/extensions/app-hider" = {
hidden-apps = [
@@ -92,6 +118,26 @@ in
];
};
})
(mkIf cfg.extensions.blur-my-shell {
"org/gnome/shell/extensions/blur-my-shell" = {
rounded-blur-found = false;
};
"org/gnome/shell/extensions/blur-my-shell/panel" = {
blur = false;
};
"org/gnome/shell/extensions/blur-my-shell/appfolder" = {
sigma = 30;
blur = true;
brightness = 0.6;
style-dialogs = 3;
};
"org/gnome/shell/extensions/blur-my-shell/applications" = {
blur = false;
};
"org/gnome/shell/extensions/blur-my-shell/coverflow-alt-tab" = {
blur = false;
};
})
(mkIf cfg.extensions.dash-to-panel {
"org/gnome/shell/extensions/dash-to-panel" = {
prefs-opened = false;