diff bin/datei @ 11945:59147378b1a9 draft

<b_jonas> `` sed -i \'s/%N/%3N/\' bin/datei; datei
author HackEso <hackeso@esolangs.org>
date Tue, 17 Sep 2019 22:32:07 +0000
parents 06331fefa90d
children
line wrap: on
line diff
--- a/bin/datei	Tue Sep 17 21:24:37 2019 +0000
+++ b/bin/datei	Tue Sep 17 22:32:07 2019 +0000
@@ -1,2 +1,2 @@
 #!/bin/sh
-exec date ${1:+-d "$1"} "+%Y-%m-%d %H:%M:%S.%N %z %Z %B %-e %A %G-W%V-%u"
+exec date ${1:+-d "$1"} "+%Y-%m-%d %H:%M:%S.%3N %z %Z %B %-e %A %G-W%V-%u"