1 files changed, 10 insertions, 0 deletions

diff --git a/modules/sleep b/modules/sleep
new file mode 100755
index 00000000..b8d350f7
--- /dev/null
+++ b/modules/sleep
@@ -0,0 +1,10 @@
+#! /bin/sh
+case "$1" in
+  (--help) echo "pause for NUMBER seconds" ;;
+  (*)
+    if ! echo "$1" | grep -Eq '^([0-9]+(\.[0-9]*)?|[0-9]*\.[0-9]+)$' ; then
+      echo 'FAIL: $1 is not a number'
+    else
+      sleep "$1"
+    fi
+esac