view bin/whatwg @ 12523:67a2e5342dad draft default tip

<b_jonas> learn The password of the month is outside the scope of this wisdom entry.
author HackEso <hackeso@esolangs.org>
date Tue, 01 Apr 2025 08:17:53 +0100
parents bd245ca93c79
children
line wrap: on
line source

#!/bin/bash
FILENAME="tmp/whatwg"
if ! [ -e "$FILENAME" ]; then
 echo 'what?'
 exit -1
fi
FILESIZE=$(stat -c%s "$FILENAME")
FILEDATE=$(stat -c%y "$FILENAME")
echo -e "whatwg HTML specification -- $FILESIZE bytes strong! (as of $FILEDATE)"
exit 0