Shell : comment ajouter une seconde à une heure donnée?

Recherche :

Mot : Pseudo : Filtrer
Bas de page
Auteur	Sujet : Shell : comment ajouter une seconde à une heure donnée?

sarah166

Bonsoir,
J'ai une heure au format HH:MM:SS, par ex 18:57:30

Je dois ajouter UNE seconde, par script.

J'ai vu que par exemple

Code :

date --date '1 sec'

ajoute une seconde à l'heure système. Cependant apparament je n'ai pas trouvé comment donner à "date" une date d'entrée pour qu'il travaille sur cette date de base et non sur la date système.

Y a-t-il une solution?

Sinon, comment faire? A savoir que je ne dois pas gérer le jour mais uniquement ajouter une seconde à une heure donnée...

Merci

edit : de préférence en shell script

Message édité par sarah166 le 22-12-2008 à 20:13:39

Publicité

Taz

bisounours-codeur

fait un bout de perl

raph0001

Tu as trouvé ta réponse : l'option --date ajoute les différents arguments.
$ date --date "18:57:30 1 sec"
$ date --date "3 min 18:57:30 1 sec"
$ date --date "3 min 8 min"
$ date --date "7 sec 2006-08-07 12:34:56"

Une date est forcément "absolue", avec jour, mois, année et heure. Tu ne peux pas avoir "juste une heure". Si tu ne précises pas, ça complète les valeurs manquantes par rapport à la date actuelle.

sarah166

Je vous remercie pour vos réponses, et en particulier raph0001. C'est exactement ce que je cherchais.
Merci!!

Taz

bisounours-codeur

pas portable sur les date pas GNU.

Xavier_OM

Monarchiste régicide (fr quoi)

On pose une journée arbitraire, genre le 01/01/2000

On convertit en timestamp (secondes depuis le 01/01/1970) cette date + ton truc HH:MM:SS :

date --date="2000-01-01 ${TON_TRUC}" "+%s"

On ajoute une seconde. L'addition se fait comme ça :
echo $((42 + 1)) (c'est du bash)
expr 42 + 1 (c'est mieux)

On reconvertit au format dd-mm-YY HH:MM:SS

date --date=@"${NOUVEAU_TRUC}" "+%Y-%m-%d %H:%M:%S"

On coupe pour virer la partie inutile

cut -d ' ' -f 2

Le tout assemblé :

$TON_TRUC="12:01:42"
$date --date=@"$(expr $(date --date="2000-01-01 ${TON_TRUC}" "+%s" ) + 1)" "+%Y-%m-%d %H:%M:%S" | cut -d ' ' -f 2
12:01:43

Étonnant non

---------------
Il y a autant d'atomes d'oxygène dans une molécule d'eau que d'étoiles dans le système solaire.

esox_ch

Il en faut du code pour rajouter 1 sec à une date dis donc

Message cité 1 fois

---------------
Si la vérité est découverte par quelqu'un d'autre,elle perd toujours un peu d'attrait

Xavier_OM

Monarchiste régicide (fr quoi)

esox_ch a écrit :

Il en faut du code pour rajouter 1 sec à une date dis donc

Ben si on veut pas utiliser le "1 sec" faut additionner soi-même.
Et si on veut pas faire les conversions à la main faut utiliser date (pas d'API en shell, les commandes sont l'API)

---------------
Il y a autant d'atomes d'oxygène dans une molécule d'eau que d'étoiles dans le système solaire.

FORUM HardWare.fr

Linux et OS Alternatifs

Codes et scripts

Shell : comment ajouter une seconde à une heure donnée?

Sujets relatifs
shell et sudo -i	[SHELL] Insertion chaine de caractères
Shell boucle et condition	accès shell vmware esx
heure système : dérèglement de l'heure malgré la présence de ntpd	[Résolu]Changer sur les jpg la mauvaise heure d'un appareil photo
echo off comme sous windows lors d'un shell script	comment récupéré donnee hdd externe ubuntu 8.04
Modification de la sortie standard dans un script	Lancer un script shell dans un programme c
Plus de sujets relatifs à : Shell : comment ajouter une seconde à une heure donnée?

Page générée en 0.039 secondes