nixpkgs/pkgs/applications/video/zdfmediathk/default.nix

39 lines
1.1 KiB
Nix
Raw Normal View History

2014-10-23 23:34:59 +02:00
{ stdenv, fetchurl, unzip, jre }:
with stdenv;
mkDerivation rec {
2015-12-18 00:43:07 +01:00
version = "10";
name = "zdfmediathk-${version}";
2014-10-23 23:34:59 +02:00
src = fetchurl {
2015-12-18 00:43:07 +01:00
url = "https://github.com/xaverW/MediathekView/archive/Version${version}.tar.gz";
sha256 = "12iyigqjslbn8rzym1mq1s0mvss7r97aiy6wfdrq5m0psarlcljw";
2014-10-23 23:34:59 +02:00
};
installPhase = ''
mkdir -p $out/{lib,bin,share/{doc,licenses}}
2015-12-18 00:43:07 +01:00
cd dist/
2014-10-23 23:34:59 +02:00
install -m644 MediathekView.jar $out/
install -m644 -t $out/lib lib/*
install -m755 bin/flv.sh $out/bin/
install -m644 -t $out/share/doc Anleitung/*.pdf
install -m644 -t $out/share/licenses Copyright/{*.*,_copyright}
bin="$out/bin/mediathek"
cat >> "$bin" << EOF
#!/bin/sh
exec ${jre}/bin/java -cp "$out/lib/*" -Xms128M -Xmx1G -jar "$out/MediathekView.jar" "\$@"
EOF
chmod +x "$bin"
'';
meta = with stdenv.lib; {
description = "Offers access to the Mediathek of different tv stations (ARD, ZDF, Arte, etc.)";
homepage = https://github.com/xaverW/MediathekView/;
2014-10-23 23:34:59 +02:00
license = licenses.gpl3;
maintainers = [ maintainers.flosse ];
platforms = platforms.all;
};
}