#! /bin/bash
# Last edited on 2024-03-30 10:46:50 by stolfi
date +%y-%m-%d