diff options
author | lassulus <lass@aidsballs.de> | 2015-03-05 17:26:22 +0100 |
---|---|---|
committer | lassulus <lass@aidsballs.de> | 2015-03-05 17:26:22 +0100 |
commit | 24452df6e91c91ce979242f6655034cc94e1ef47 (patch) | |
tree | 547090e4ecafababb5c8324cb0aff9a80d2b5a4e | |
parent | 09a0e5a7df3ef5eece901064ea708125bd51bd9c (diff) |
timer: get interpreter via env
-rwxr-xr-x | util/bin/timer | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/bin/timer b/util/bin/timer index 0ccf514a..939c7998 100755 --- a/util/bin/timer +++ b/util/bin/timer @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash curr=$(date '+%s%N') etime=${curr:0:${#curr}-6} if [[ $# -eq 0 ]];then |