On 05/19/2012 10:06 AM, Frédéric wrote:
> Bonjour,
>
> Je voudrais savoir s'il est possible, avec une bête expression régulière,
> de formatter une chaîne heure :
>
> 8:12:58 -> _8:12:58 (le _ est un espace)
> 8:2:0 -> _8:02:00
> 12:43:5 -> 12:43:05
>
> Je dois récupèrer la chaîne en utilisant des groupes, et la formatter via
> ces groupes. Je n'ai pas accès aux fonctions de transformations qu'il peut
> exister dans les divers langages.
>
> Pour l'instant, j'ai :
>
> - récupération : (\d{1,2}):(\d{1,2}):(\d{1,2})
> - affichage : $1:$2:$3
>
> Merci d'avance.
>
Bonjour
Quel est l'environnement de travail ? En quel langage veux-tu faire cela ?
La commande date me semble capable de faire cela :
$ date --date="8:12:58" "+%k:%M:%S"
8:12:58
$ date --date="8:2:0" "+%k:%M:%S"
8:02:00
$ date --date="12:43:05" "+%k:%M:%S"
12:43:05
Cordialement
Pierre Louis
