diff options
| author | Jaka Hudoklin <jaka@x-truder.net> | 2019-08-11 21:55:36 +0200 |
|---|---|---|
| committer | Jaka Hudoklin <jaka@x-truder.net> | 2019-09-23 23:12:27 +0200 |
| commit | 8e9febbcbb73e69494c8694d472a9e5ca30daa41 (patch) | |
| tree | 90cfc89d5206c87739deb2f86b51056be54c3f18 /pkgs/tools/misc/yubikey-personalization-gui | |
| parent | da90a46591cb590886892928bae598cb0a41a2a6 (diff) | |
| download | nixpkgs-8e9febbcbb73e69494c8694d472a9e5ca30daa41.tar nixpkgs-8e9febbcbb73e69494c8694d472a9e5ca30daa41.tar.gz nixpkgs-8e9febbcbb73e69494c8694d472a9e5ca30daa41.tar.bz2 nixpkgs-8e9febbcbb73e69494c8694d472a9e5ca30daa41.tar.lz nixpkgs-8e9febbcbb73e69494c8694d472a9e5ca30daa41.tar.xz nixpkgs-8e9febbcbb73e69494c8694d472a9e5ca30daa41.tar.zst nixpkgs-8e9febbcbb73e69494c8694d472a9e5ca30daa41.zip | |
yubikey-personalization-gui: install man, desktop files and icons
Diffstat (limited to 'pkgs/tools/misc/yubikey-personalization-gui')
| -rw-r--r-- | pkgs/tools/misc/yubikey-personalization-gui/default.nix | 24 |
1 files changed, 20 insertions, 4 deletions
diff --git a/pkgs/tools/misc/yubikey-personalization-gui/default.nix b/pkgs/tools/misc/yubikey-personalization-gui/default.nix index 5b0ad830b19..59685aa721a 100644 --- a/pkgs/tools/misc/yubikey-personalization-gui/default.nix +++ b/pkgs/tools/misc/yubikey-personalization-gui/default.nix @@ -1,4 +1,5 @@ -{ stdenv, fetchurl, mkDerivation, pkgconfig, yubikey-personalization, qtbase, qmake, libyubikey }: +{ stdenv, fetchurl, mkDerivation, pkgconfig, qtbase, qmake, imagemagick +, libyubikey, yubikey-personalization }: mkDerivation rec { name = "yubikey-personalization-gui-3.1.25"; @@ -8,12 +9,27 @@ mkDerivation rec { sha256 = "1knyv5yss8lhzaff6jpfqv12fjf1b8b21mfxzx3qi0hw4nl8n2v8"; }; - nativeBuildInputs = [ pkgconfig qmake ]; + nativeBuildInputs = [ pkgconfig qmake imagemagick ]; buildInputs = [ yubikey-personalization qtbase libyubikey ]; installPhase = '' - mkdir -p $out/bin - cp build/release/yubikey-personalization-gui $out/bin + install -D -m0755 build/release/yubikey-personalization-gui "$out/bin/yubikey-personalization-gui" + install -D -m0644 resources/lin/yubikey-personalization-gui.1 "$out/share/man/man1/yubikey-personalization-gui.1" + + # 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.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 + convert -scale ''${SIZE} +set date:create +set date:modify \ + resources/lin/yubikey-personalization-gui.png \ + yubikey-personalization-gui.png + + install -D -m0644 yubikey-personalization-gui.png "$out/share/icons/hicolor/''${SIZE}x''${SIZE}/apps/yubikey-personalization-gui.png" + done ''; meta = with stdenv.lib; { |