• [^] # Re: Merci.

    Posté par . En réponse au message Aide pour écrire lignes de texte dans un fichier.txt depuis un terminal. Évalué à 5.

    Note que si tu utilise bash, sa commande interne printf (qui remplace celle installée sur le système) a une extension pour générer un datetime.
    Du coup ça donne (sous forme de fonction bash, pour pouvoir mettre tout le $* en un unique paramètre du printf):

    pp() {
 printf '%(%FT%T:z)T%7s%s\n' -1 '' "$*"
}