docs: update

This commit is contained in:
Dylan Araps 2020-02-02 17:57:24 +02:00
parent 388ba9c0a2
commit d2ff375b2e
No known key found for this signature in database
GPG key ID: 46D62DD9F1DE636E

View file

@ -3943,6 +3943,9 @@ get_window_size() {
# user input so we have to use read to store the out # user input so we have to use read to store the out
# -put as a variable. # -put as a variable.
# The 1 second timeout is required for older bash # The 1 second timeout is required for older bash
#
# False positive.
# shellcheck disable=2141
case ${BASH_VERSINFO[0]} in case ${BASH_VERSINFO[0]} in
4|5) IFS=';t' read -d t -t 0.05 -sra term_size ;; 4|5) IFS=';t' read -d t -t 0.05 -sra term_size ;;
*) IFS=';t' read -d t -t 1 -sra term_size ;; *) IFS=';t' read -d t -t 1 -sra term_size ;;