From f4f5b3b7aff2ac45ee035f54d6e8899ff963d133 Mon Sep 17 00:00:00 2001 From: tv Date: Mon, 9 Dec 2013 20:07:19 +0100 Subject: noise: RIP --- noise/modules/sleep | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100755 noise/modules/sleep (limited to 'noise/modules/sleep') diff --git a/noise/modules/sleep b/noise/modules/sleep deleted file mode 100755 index 89712cac..00000000 --- a/noise/modules/sleep +++ /dev/null @@ -1,10 +0,0 @@ -#! /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 - sleep "$1" - else - echo 'FAIL: $1 is not a number' - fi -esac -- cgit v1.2.3