[FFmpeg-devel] [PATCH 1/3] web: move RSS generation to a seperate shell script

Michael Niedermayer michaelni at gmx.at
Mon Dec 9 02:00:18 CET 2013


On Wed, Nov 27, 2013 at 04:17:44PM -0900, Lou Logan wrote:
> On Mon, 25 Nov 2013 14:25:05 -0800, Timothy Gu wrote:
> 
> > Easier to read.
> > 
> > Signed-off-by: Timothy Gu <timothygu99 at gmail.com>
> > ---
> >  Makefile   | 20 +++-----------------
> >  rss-gen.sh | 59 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
> >  2 files changed, 62 insertions(+), 17 deletions(-)
> >  create mode 100755 rss-gen.sh
> 
> Pushed. Thanks.

reverted as this broke the automated website build

    Execution of scripts from the git checkout during make is not
    supported currently. The Makefile is subject to security checks
    on the server, these do not extend to external scripts.
    It seems none of the root admins had time until now to extend
    these security checks to external scripts and noone else volunteered
    to fix them either (which isnt that trivial as the checks are shared
    between several projects)


[...]

-- 
Michael     GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB

Democracy is the form of government in which you can choose your dictator
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: Digital signature
URL: <http://ffmpeg.org/pipermail/ffmpeg-devel/attachments/20131209/7a63b0ec/attachment.asc>


More information about the ffmpeg-devel mailing list