# HG changeset patch # User HackEso # Date 1720026439 -3600 # Node ID 2c465d82bec107521c540e9fa555155b43f09827 # Parent 4e21820a85a725a8e8d2e1bc29a52b277d34a593 `` f=/hackenv/bin/datei; >$f echo $\'#!/bin/bash\\nset -e\\nif (( 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 4e21820a85a7 -r 2c465d82bec1 bin/datei --- a/bin/datei Wed Jul 03 17:59:16 2024 +0100 +++ b/bin/datei Wed Jul 03 18:07:19 2024 +0100 @@ -1,2 +1,4 @@ -#!/bin/sh +#!/bin/bash +set -e +if (( 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"