Merge pull request #179417 from twz123/ykpersgui-pixmap

yubikey-personalization-gui: fix pixmap installation
This commit is contained in:
Christian Kögler 2022-08-15 14:35:20 +02:00 committed by GitHub
commit 341d46e02d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -19,9 +19,9 @@ mkDerivation rec {
# Desktop files # 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/applications/yubikey-personalization-gui.desktop"
install -D -m0644 resources/lin/yubikey-personalization-gui.desktop "$out/share/pixmaps/yubikey-personalization-gui.xpm"
# Icons # 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" 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 for SIZE in 16 24 32 48 64 96; do
# set modify/create for reproducible builds # set modify/create for reproducible builds