diff --git a/releng/inc/releng_getopts.inc b/releng/inc/releng_getopts.inc index cc1ad35e..b29d62a0 100644 --- a/releng/inc/releng_getopts.inc +++ b/releng/inc/releng_getopts.inc @@ -20,6 +20,14 @@ Usage: $SELF -x path/to/xorriso [-k0|1] [-f0|1] [-h] EOF } +boldify() { + if which tput >/dev/null 2>&1; then tput smso; fi +} + +unboldify() { + if which tput >/dev/null 2>&1; then tput rmso; fi +} + ############################################# cleanup() { if [ ${KEEP} -eq 0 -a ${CLEANUP} -eq 1 ]; then