From 71d3f34e68d265305e801ffad46209f742368204 Mon Sep 17 00:00:00 2001 From: Tom Wieczorek Date: Tue, 28 Jun 2022 08:59:09 +0200 Subject: [PATCH] yubikey-personalization-gui: fix pixmap installation The desktop file was copied over twice, once as desktop file, once as pixmap. Fix this and copy the actual pixmap. --- pkgs/tools/misc/yubikey-personalization-gui/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/tools/misc/yubikey-personalization-gui/default.nix b/pkgs/tools/misc/yubikey-personalization-gui/default.nix index 3d489a13c6ea..66f43ad9bfca 100644 --- a/pkgs/tools/misc/yubikey-personalization-gui/default.nix +++ b/pkgs/tools/misc/yubikey-personalization-gui/default.nix @@ -19,9 +19,9 @@ mkDerivation rec { # Desktop files install -D -m0644 resources/lin/yubikey-personalization-gui.desktop "$out/share/applications/yubikey-personalization-gui.desktop" - install -D -m0644 resources/lin/yubikey-personalization-gui.desktop "$out/share/pixmaps/yubikey-personalization-gui.xpm" # Icons + install -D -m0644 resources/lin/yubikey-personalization-gui.xpm "$out/share/pixmaps/yubikey-personalization-gui.xpm" install -D -m0644 resources/lin/yubikey-personalization-gui.png "$out/share/icons/hicolor/128x128/apps/yubikey-personalization-gui.png" for SIZE in 16 24 32 48 64 96; do # set modify/create for reproducible builds