Let me throw in a solution as well. Since I also prefer a simple echo over 
loops with lots of forks:

`echo 
-----------------------------------------------------------------------------------------------
 | head -c $total`

I.e. print a very large number of dashes and limit dynamically using head.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/2060#issuecomment-469425553

Reply via email to