From 62b3d8fb7034c53e0804689d58e2eb7330e04430 Mon Sep 17 00:00:00 2001
From: Ebrahim Byagowi <ebrahim@gnu.org>
Date: Sat, 10 Mar 2018 00:44:36 +0330
Subject: [PATCH] [dev-run] minor

---
 src/dev-run.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/dev-run.sh b/src/dev-run.sh
index e3d5bccc..e7d0973b 100755
--- a/src/dev-run.sh
+++ b/src/dev-run.sh
@@ -43,7 +43,7 @@ tmp=tmp.png
 # or "fswatch -0 . -e build/ -e .git"
 find src/ | entr printf '\0' | while read -d ""; do
 	clear
-	echo '===================================================='
+	yes = | head -n`tput cols` | tr -d '\n'
 	if [[ $CMAKENINJA ]]; then
 		ninja -Cbuild hb-shape hb-view && {
 			build/hb-shape $@
-- 
GitLab