diff options
Diffstat (limited to 'tools/time')
-rwxr-xr-x | tools/time | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/tools/time b/tools/time deleted file mode 100755 index 4e3cbfc..0000000 --- a/tools/time +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/bash -for i in {1..5} -do - ratpoison -c "echo `ratpoison -c "time"`" - sleep 1 -done -ratpoison -c "echo ` `" |