Faire un don ! | | style | statistiques | contactez-nous | plan | lettre d'information

Retourner aux forums || Retourner au forum Astuces.divers

Astuces.divers : [Terminal] Ajouter l'heure/date d'un affichage

Posté par Pascal Terjan (Jabber id, page perso, ) le 05 novembre 2001
Si vous avez un programme qui tourne en affichant de temps en temps des messages mais sans heure ni date et que cette information vous manque vous pouvez le lancer en ajoutant | awk '{print "[" strftime() "] " $0}' après la commande. Vous pouvez aussi passer un format de date à strftime.

> Lire le message (6 commentaires, moyenne: 1).  

Cette discussion est archivée, il n'est plus possible de laisser des commentaires.

Note : les commentaires appartiennent à ceux qui les ont postés. Nous n'en sommes pas responsables.

Re: Ajouter l'heure/date d'un affichage

Posté par Jean-Michel Besnard (page perso, ) le 03/01/2003 à 00:41. (lien). Évalué à 1.

ls| awk '{print "[" strftime() "] " $0}'
awk: line 2: function strftime never defined

  • [^]Re: Ajouter l'heure/date d'un affichage

    Posté par wwp (page perso, ) le 07/02/2003 à 17:34. (lien). Évalué à 1.

    awk --version?

    Pour info ça marche avec GNU awk 3.1.1.

    • [^]Re: Ajouter l'heure/date d'un affichage

      Posté par Vroum () le 12/02/2003 à 13:01. (lien). Évalué à 1.

      awk: not an option: --version...

      Pour que ça marche, utiliser plutôt gawk :)

      • [^]Re: Ajouter l'heure/date d'un affichage

        Posté par gnap gnap (page perso, ) le 20/04/2003 à 17:16. (lien). Évalué à 1.

        Sur debian woody, c'est mawk qui est installé par défaut. Ceci explique cela (on peut espérer qu'ils vont mettre gawk par défaut pour les suivantes).

Re: Ajouter l'heure/date d'un affichage

Posté par asailor () le 20/08/2003 à 14:07. (lien). Évalué à 1.

On peut aussi faire ça :

| awk '{system("echo -n [`date`]"); print " " $0}'

Par contre ça ne marche pas avec les vieilles versions de 'awk' qui n'ont pas la fonction 'system' et les versions de 'echo' qui n'ont pas l'option '-n' (mais elle n'est pas indispensable, c'est juste plus joli) :-(

De tels systèmes existent, genre les vieilles versions de SunOS et peut être DigitalUnix ?

Ou avec Perl

Posté par Arthur Accroc () le 20/09/2004 à 17:57. (lien). Évalué à 1.

| perl -pe '$_="[".localtime()."] $_"'

--
« Ils font la fête au mois de juillet,
  en souvenir d'une révolution,
  qui n'a jamais éliminé
  la misère et l'exploitation. »
Renaud, Hexagone

Revenir en haut de page || Retourner aux forums || Retourner au forum Astuces.divers