diff options
author | EuAndreh <eu@euandre.org> | 2023-03-13 10:20:03 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2023-03-13 10:20:03 -0300 |
commit | f108ed7d9fadf0e633343e00b4e1d7b576e630e1 (patch) | |
tree | dda374f4ac0a6c09f9eecebc9d81df1ed92eb9d6 /src/infrastructure/scripts/report.sh | |
parent | Makefile: Delete plain secrets on "clean" target (diff) | |
download | server-f108ed7d9fadf0e633343e00b4e1d7b576e630e1.tar.gz server-f108ed7d9fadf0e633343e00b4e1d7b576e630e1.tar.xz |
{git-post-receive,cronjob}.sh: Improve portability
- don't use GNU's date(1) "%s" proprietary option, and leverage AWK's
default behaviour of `srand()` to get the seconds since UNIX epoch;
- don't rely on GNU's sed(1) "-u" proprietary option of unbuffering, and
do a manual `while` loop instead.
Diffstat (limited to 'src/infrastructure/scripts/report.sh')
0 files changed, 0 insertions, 0 deletions