diff Scripts/lint-src.sh @ 1061:52b36e54f1b7

vanilla: add some colors in scripts
author David Demelier <markand@malikania.fr>
date Mon, 02 Sep 2019 21:20:00 +0200
parents e46348eb3fbd
children 297b5eef115e
line wrap: on
line diff
--- a/Scripts/lint-src.sh	Mon Sep 02 21:10:00 2019 +0200
+++ b/Scripts/lint-src.sh	Mon Sep 02 21:20:00 2019 +0200
@@ -21,7 +21,7 @@
 
 check_structure()
 {
-	echo "==> checking structure"
+	printf "${BOLD}==> checking structure${RESET}\n"
 
 	local pkgname=$(basename ${1%#*})
 
@@ -49,6 +49,6 @@
 	# NOTREACHED
 fi
 
-echo "=> checking binary package content for $1"
+printf "${BOLD}=> checking binary package content for $1${RESET}\n"
 
 check_structure $1