[FFmpeg-devel] [PATCH] Add tools/merge-all-source-plugins

[Rémi Denis-Courmont]

Hi,

Le 14 mai 2025 13:55:09 GMT+03:00, Michael Niedermayer <michael at niedermayer.cc> a écrit :
>Simple script to merge all source plugins.
>
>Signed-off-by: Michael Niedermayer <michael at 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).