--- a/.bashrc Sun Dec 30 12:26:48 2018 +0200
+++ b/.bashrc Sun Dec 30 12:30:21 2018 +0200
@@ -14,7 +14,11 @@
_my_ruler_handler() {
local ruler='================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================================'
- local size=`tput cols`
+ if [[ -x /usr/bin/tput ]]; then
+ local size=`/usr/bin/tput cols`
+ else
+ local size=`/usr/bin/stty size | { read x y; echo $y; }`
+ fi
ruler=${ruler:0:${size}}
_my_ruler=$ruler
}