1 files changed, 6 insertions, 0 deletions

@@ -36,6 +36,12 @@ die() { # die EXIT_CODE MESSAGE
         exit "$ec"
 }
 
+# builtin replacement for `sleep`
+# https://github.com/dylanaraps/pure-bash-bible#use-read-as-an-alternative-to-the-sleep-command
+sleep() { # sleep SECONDS
+        read -rt "$1" <> <(:) || :
+}
+
 # https://github.com/dylanaraps/pure-bash-bible/
 trim_string() { # trim_string STRING
         : "${1#"${1%%[![:space:]]*}"}"