Merge pull request #130843 from ajgrf/anki-bin-desktop-entry

anki-bin: install desktop entry and man page
This commit is contained in:
Sandro 2021-07-20 22:33:39 +02:00 committed by GitHub
commit 68885a709e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -43,6 +43,14 @@ if stdenv.isLinux then buildFHSUserEnv (appimageTools.defaultFhsEnvArgs // {
exec ${unpacked}/bin/anki
'';
extraInstallCommands = ''
mkdir -p $out/share
cp -R ${unpacked}/share/applications \
${unpacked}/share/man \
${unpacked}/share/pixmaps \
$out/share/
'';
inherit meta;
}) else stdenv.mkDerivation {
inherit pname version;