mediathekview: Set mainProgram to "mediathek"

2023-10-21 09:57:19 +02:00
parent 458ef9126a
commit 1121cec615
1 changed files with 1 additions and 0 deletions
@@ -42,6 +42,7 @@ stdenv.mkDerivation rec {
    homepage = "https://mediathekview.de/";
    sourceProvenance = with sourceTypes; [ binaryBytecode ];
    license = licenses.gpl3Plus;
+    mainProgram = "mediathek";
    maintainers = with maintainers; [ moredread ];
    platforms = platforms.all;
  };