# HG changeset patch
# User HackEso <hackeso@esolangs.org>
# Date 1720025723 -3600
# Node ID 045be785a5ccc50efaab1582188e8bf39921120a
# Parent  37c076360b127839bc5eef9b2501b563a0453b0b
<wib_jonas> `` f=/hackenv/bin/datei; >$f echo $\'#!/bin/sh\\nset -e\\nif let "1<$#"; then echo "datei error: too many command-line arguments. Usage: datei datetimestring"; exit 2; fi\\nexec date ${1:+-d "$1"} "+%Y-%m-%d %H:%M:%S.%3N %z %Z %B %-e %A %G-W%V-%u"\'; chmod a+x "$f"

diff -r 37c076360b12 -r 045be785a5cc bin/datei
--- a/bin/datei	Wed Jul 03 17:53:18 2024 +0100
+++ b/bin/datei	Wed Jul 03 17:55:23 2024 +0100
@@ -1,4 +1,4 @@
 #!/bin/sh
 set -e
-if [[ 1 < $# ]]; then echo "datei error: too many command-line arguments. Usage: datei datetimestring"; exit 2; fi
+if let "1<$#"; then echo "datei error: too many command-line arguments. Usage: datei datetimestring"; exit 2; fi
 exec date ${1:+-d "$1"} "+%Y-%m-%d %H:%M:%S.%3N %z %Z %B %-e %A %G-W%V-%u"