Re: [FFmpeg-devel] [PATCH] Add tools/merge-all-source-plugins - Rémi Denis-Courmont

From: "Rémi Denis-Courmont" <remi@remlab.net>
To: FFmpeg development discussions and patches <ffmpeg-devel@ffmpeg.org>
Subject: Re: [FFmpeg-devel] [PATCH] Add tools/merge-all-source-plugins
Date: Thu, 15 May 2025 14:24:28 +0300
Message-ID: <625826B3-03F2-4075-8798-9A0FC1259A20@remlab.net> (raw)
In-Reply-To: <20250514105509.3560851-1-michael@niedermayer.cc>

Hi,

Le 14 mai 2025 13:55:09 GMT+03:00, Michael Niedermayer <michael@niedermayer.cc> a écrit :
>Simple script to merge all source plugins.
>
>Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
>---
> INSTALL.md                     | 3 +++
> tools/merge-all-source-plugins | 3 +++
> 2 files changed, 6 insertions(+)
> create mode 100644 tools/merge-all-source-plugins
>
>diff --git a/INSTALL.md b/INSTALL.md
>index bdf58140149..0de204cef5b 100644
>--- a/INSTALL.md
>+++ b/INSTALL.md
>@@ -1,5 +1,8 @@
> ## Installing FFmpeg
> 
>+0. If you like to include source plugins, merge them before configure
>+for example run tools/merge-all-source-plugins
>+
> 1. Type `./configure` to create the configuration. A list of configure
> options is printed by running `configure --help`.
> 
>diff --git a/tools/merge-all-source-plugins b/tools/merge-all-source-plugins
>new file mode 100644
>index 00000000000..20764a07737
>--- /dev/null
>+++ b/tools/merge-all-source-plugins
>@@ -0,0 +1,3 @@
>+#!/bin/sh
>+
>+git pull --no-rebase --log --stat --commit --no-edit  https://github.com/michaelni/FFmpeg.git sourceplugin-libpostproc

I don't think the official Git repo should refer to an unofficial fork, no matter who the fork owner is (not to mention that not everyone here is comfortable with Github).
_______________________________________________
ffmpeg-devel mailing list
ffmpeg-devel@ffmpeg.org
https://ffmpeg.org/mailman/listinfo/ffmpeg-devel

To unsubscribe, visit link above, or email
ffmpeg-devel-request@ffmpeg.org with subject "unsubscribe".