mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-22 21:50:55 +00:00
Merge pull request #136083 from Moredread/mediathekview
mediathekview: 13.7.1 -> 13.8.0
This commit is contained in:
commit
d26ee36556
|
@ -1,34 +1,38 @@
|
|||
{ lib, stdenv, fetchurl, makeWrapper, jre }:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
version = "13.7.1";
|
||||
version = "13.8.0";
|
||||
pname = "mediathekview";
|
||||
src = fetchurl {
|
||||
url = "https://download.mediathekview.de/stabil/MediathekView-${version}-linux.tar.gz";
|
||||
sha256 = "sha256-yFPyj1Mbgj2eJv4DpvfOtPyTbL9gMAXC5TzSx8AV27o=";
|
||||
sha256 = "0zfkwz5psv7m0881ykgqrxwjhadg39c55aj2wpy7m1jdara86c5q";
|
||||
};
|
||||
|
||||
nativeBuildInputs = [ makeWrapper ];
|
||||
|
||||
installPhase = ''
|
||||
runHook preInstall
|
||||
|
||||
mkdir -p $out/{bin,lib}
|
||||
|
||||
install -m644 MediathekView.jar $out/lib
|
||||
|
||||
makeWrapper ${jre}/bin/java $out/bin/mediathek \
|
||||
--add-flags "-Xmx1G --enable-preview -jar $out/lib/MediathekView.jar"
|
||||
--add-flags "-jar $out/lib/MediathekView.jar"
|
||||
|
||||
makeWrapper ${jre}/bin/java $out/bin/MediathekView \
|
||||
--add-flags "-Xmx1G --enable-preview -jar $out/lib/MediathekView.jar"
|
||||
--add-flags "-jar $out/lib/MediathekView.jar"
|
||||
|
||||
makeWrapper ${jre}/bin/java $out/bin/MediathekView_ipv4 \
|
||||
--add-flags "-Xmx1G --enable-preview -Djava.net.preferIPv4Stack=true -jar $out/lib/MediathekView.jar"
|
||||
--add-flags "-Djava.net.preferIPv4Stack=true -jar $out/lib/MediathekView.jar"
|
||||
|
||||
runHook postInstall
|
||||
'';
|
||||
|
||||
meta = with lib; {
|
||||
description = "Offers access to the Mediathek of different tv stations (ARD, ZDF, Arte, etc.)";
|
||||
homepage = "https://mediathekview.de/";
|
||||
license = licenses.gpl3;
|
||||
license = licenses.gpl3Plus;
|
||||
maintainers = with maintainers; [ moredread ];
|
||||
platforms = platforms.all;
|
||||
};
|
||||
|
|
|
@ -25945,7 +25945,7 @@ with pkgs;
|
|||
|
||||
mediainfo-gui = callPackage ../applications/misc/mediainfo-gui { };
|
||||
|
||||
mediathekview = callPackage ../applications/video/mediathekview { };
|
||||
mediathekview = callPackage ../applications/video/mediathekview { jre = adoptopenjdk-hotspot-bin-16; };
|
||||
|
||||
megapixels = callPackage ../applications/graphics/megapixels { };
|
||||
|
||||
|
|
Loading…
Reference in a new issue