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.
This commit is contained in:
Tom Wieczorek 2022-06-28 08:59:09 +02:00 committed by Tom Wieczorek
parent b90fa9940b
commit 71d3f34e68
No known key found for this signature in database
GPG Key ID: FE33A2282371E831

View File

@ -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