From 4788b03233de715b7622678e127a820ca43ff3cb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rub=C3=A9n=20Rodr=C3=ADguez?= <ruben@trisquel.info> Date: Tue, 2 Sep 2014 03:42:54 +0200 Subject: [PATCH] Added gnome-media and libgnome-media-profiles fixes #12008 --- helpers/DATA/gnome-menus/applications.menu | 1 - helpers/make-gnome-media | 28 +++++++++++++++++++ helpers/make-gnome-menus | 2 +- helpers/make-libgnome-media-profiles | 31 ++++++++++++++++++++++ 4 files changed, 60 insertions(+), 2 deletions(-) create mode 100644 helpers/make-gnome-media create mode 100644 helpers/make-libgnome-media-profiles diff --git a/helpers/DATA/gnome-menus/applications.menu b/helpers/DATA/gnome-menus/applications.menu index 2ee97aeb7..d614eb323 100644 --- a/helpers/DATA/gnome-menus/applications.menu +++ b/helpers/DATA/gnome-menus/applications.menu @@ -172,7 +172,6 @@ </Include> <Exclude> <Filename>gnash.desktop</Filename> - <Filename>gnome-sound-recorder.desktop</Filename> </Exclude> </Menu> <!-- End Multimedia --> diff --git a/helpers/make-gnome-media b/helpers/make-gnome-media new file mode 100644 index 000000000..3124acaba --- /dev/null +++ b/helpers/make-gnome-media @@ -0,0 +1,28 @@ +#!/bin/sh +# +# Copyright (C) 2012 Rubén RodrÃguez <ruben@trisquel.info> +# +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 2 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA +# + +VERSION=1 +COMPONENT=main + +. ./config + +changelog "Reverted to gst 0.10" + +compile + diff --git a/helpers/make-gnome-menus b/helpers/make-gnome-menus index f4e79e9f6..dcb7b7267 100644 --- a/helpers/make-gnome-menus +++ b/helpers/make-gnome-menus @@ -17,7 +17,7 @@ # Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA # -VERSION=7 +VERSION=8 COMPONENT=main . ./config diff --git a/helpers/make-libgnome-media-profiles b/helpers/make-libgnome-media-profiles new file mode 100644 index 000000000..8640b1b9a --- /dev/null +++ b/helpers/make-libgnome-media-profiles @@ -0,0 +1,31 @@ +#!/bin/sh +# +# Copyright (C) 2012 Rubén RodrÃguez <ruben@trisquel.info> +# +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 2 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA +# + +VERSION=1 +COMPONENT=main + +. ./config + +rm debian/patches/02-gstreamer-1.0.patch +sed '/02-gstreamer-1.0/d' -i debian/patches/series + +changelog "Reverted to gst 0.10" + +compile + -- GitLab