diff --git a/helpers/make-bash b/helpers/make-bash new file mode 100644 index 0000000000000000000000000000000000000000..e1ff36cb52f11d5a3a6812617e17ac69015c1dbd --- /dev/null +++ b/helpers/make-bash @@ -0,0 +1,29 @@ +#!/bin/sh +# +# Copyright (C) 2013 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 '/To run a command as administrator/s/$/\n\tTo become root use "sudo -i"./' debian/etc.bash.bashrc + +changelog "Extended explanation for sudo_root, gnu.org #835148" + +PARALLEL=false compile +