diff --git a/helpers/make-gnome-tweak-tool b/helpers/make-gnome-tweak-tool new file mode 100644 index 0000000000000000000000000000000000000000..b20f601c9bea13d13246d4a3da50d743a0f22120 --- /dev/null +++ b/helpers/make-gnome-tweak-tool @@ -0,0 +1,28 @@ +#!/bin/sh +# +# Copyright (C) 2014 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 +. ./config + +sed '/ShellShowsAppMenu/s/True/False/' -i ./gtweak/utils.py +sed '/ApplicationMenuTweak()/d' -i gtweak/tweaks/tweak_group_shell.py + +changelog "Disable ShellShowsAppMenu" +compile +