diff options
| author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2020-07-03 01:54:58 (EDT) |
|---|---|---|
| committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2020-07-03 02:06:45 (EDT) |
| commit | 66c3162f152c9befa0b2ee032300b526a3240d23 (patch) | |
| tree | e2b9992926f5abbc40c4d38410d4a22363e1c666 /src/main.sh | |
| parent | c03edb6df96f60dcc13c73cce67e86075ac91961 (diff) | |
time(): Rename to unixtime()
In GNU Bash, time is not simply a built-in utility, but actually a
reserved word. Naming a function "time" results in a rather unhelpful
syntax error message.
Diffstat (limited to 'src/main.sh')
| -rw-r--r-- | src/main.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main.sh b/src/main.sh index 0f850e0..aa9b3d4 100644 --- a/src/main.sh +++ b/src/main.sh @@ -34,7 +34,7 @@ else builddir='' fi -time() +unixtime() { # Based on code from <https://www.etalabs.net/sh_tricks.html> by Rich # Felker, with whitespace added for readability. @@ -79,7 +79,7 @@ main() shift 1 fi - srand $((${$} + $(time))) + srand $((${$} + $(unixtime))) if ! init_vardata; then return 2 fi |