From 3b7c1594ac8a362efc7bd224dfa8999365b11f8d Mon Sep 17 00:00:00 2001 From: Wroclaw Date: Sun, 9 Jun 2024 12:42:42 +0200 Subject: [PATCH] gnome: fix build --- nix-os/desktopManagers/gnome.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/nix-os/desktopManagers/gnome.nix b/nix-os/desktopManagers/gnome.nix index a6b878f..f3512b5 100644 --- a/nix-os/desktopManagers/gnome.nix +++ b/nix-os/desktopManagers/gnome.nix @@ -4,8 +4,8 @@ let maxThumbnails = config.programs.gnome.extensions.workspaceIndicator.maxThumbnails; workspaceIndicator = pkgs.gnomeExtensions.workspace-indicator.overrideAttrs { postPatch = '' - sed -i 's/const MAX_THUMBNAILS = 6;/const MAX_THUMBNAILS = ${maxThumbnails};/' extension.js - ''; + sed -i 's/const MAX_THUMBNAILS = 6;/const MAX_THUMBNAILS = '${builtins.toString maxThumbnails}'/' extension.js + ''; }; in {