stdlib/prelude.sh

   1 # Goals stdlib shell prelude.
   2 # Copyright (C) 2020 Richard W.M. Jones
   3 # Copyright (C) 2020 Red Hat Inc.
   4 #
   5 # This program is free software; you can redistribute it and/or modify
   6 # it under the terms of the GNU General Public License as published by
   7 # the Free Software Foundation; either version 2 of the License, or
   8 # (at your option) any later version.
   9 #
  10 # This program is distributed in the hope that it will be useful,
  11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 # GNU General Public License for more details.
  14 #
  15 # You should have received a copy of the GNU General Public License along
  16 # with this program; if not, write to the Free Software Foundation, Inc.,
  17 # 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  18
  19 # This file is included in all shell scripts, and is used to define
  20 # various common functions.
  21
  22 # This should be used to print the single parameter as a quoted string
  23 # suitable for consuming in a goal expression.
  24 function quoted_string ()
  25 {
  26     # XXX This doesn't actually do quoting XXX
  27     echo -n "\"$1\""
  28 }
  29
  30 # For printing strings in different colours.
  31 function print_red ()
  32 {
  33     echo -e "\x1b[1;31m$@\x1b[0m"
  34 }
  35
  36 function print_green ()
  37 {
  38     echo -e "\x1b[0;32m$@\x1b[0m"
  39 }