Le mot-clé when de Plucky utilise un format appelé hrs3 pour les horaires quotidiens et hebdomadaires.

Vue d’ensemble

Hrs3 signifie « Human Readable Small Schedule String » (chaîne d’horaire courte lisible par l’humain). Les chaînes hrs3 peuvent décrire à la fois des événements récurrents et des événements ponctuels.

La raison d’être de hrs3 est de représenter les horaires de travail de personnes réelles en utilisant un nombre limité de caractères tout en préservant un certain niveau de lisibilité par les humains. Le fait qu’un horaire puisse être entièrement décrit dans une séquence de caractères permet d’importer et d’exporter des horaires depuis et vers divers systèmes qui prennent en charge hrs3. Un format canonique (à venir) permet une comparaison facile des horaires.

Les horaires hrs3 sont utilisés par les règles when de Plucky et par Abmindicate.

Outil de création d’horaires

Le site utilisateurs dispose d’un outil pointer-cliquer que vous pouvez utiliser pour trouver un horaire décrivant un ensemble spécifique de périodes.

Exemples simples

1-2
1h00 à 2h00 tous les jours
13-14
13h00 à 14h00 tous les jours
1330-1430
13h30 à 14h30 tous les jours
MWF10-12
Lundi, mercredi et vendredi, 10h à 12h

Types de hrs3

daily
par ex. « 8-9 » signifie de 8h à 9h tous les jours.
weekly
par ex. « MW8-9 » signifie de 8h à 9h le lundi et le mercredi.
now
par ex. « now+10m » signifie de maintenant jusqu’à 10 minutes à partir de maintenant.
raw
par ex. « 20201214151324-20201214151325 » signifie de 2020-12-14 15:13:24 à 2020-12-14 15:13:25 et peut également être écrit 2020.12.14.15:13:24-2020.12.14.15:13:25 pour améliorer la lisibilité.

Jours de la semaine

UMTWRFA
sUnday (dimanche), Monday (lundi), Tuesday (mardi), Wednesday (mercredi), thuRsday (jeudi), Friday (vendredi), sAturday (samedi)

Heures

1-2
1h à 2h
0100-0200
1h à 2h
13-14
13h à 14h
1300-1301
13h00 à 13h01
13:00-13:01
13h00 à 13h01 (valide seulement dans certaines versions)
5-6&7-9
5h à 6h et 7h à 9h
5-6,7-9
5h à 6h et 7h à 9h

Autres exemples

MWF7-8.TR8-9
Lundi, mercredi et vendredi de 7h à 8h, et mardi et jeudi de 8h à 9h.
1-2&3-4
1h00 à 2h00 et 3h00 à 4h00 tous les jours
1-2,3-4
1h00 à 2h00 et 3h00 à 4h00 tous les jours
830-945
8h30 à 9h45 tous les jours
0830-0945
8h30 à 9h45 tous les jours
0-24
toute la journée
MWF10-12
Lundi, mercredi et vendredi, de 10h à 12h
M1330-1400
Lundi de 13h30 à 14h00
MWF0-24
Lundi, mercredi et vendredi, toute la journée
now+2h
De maintenant à 2 heures à partir de maintenant
20150429120000-20150429120001
2015-04-29 12:00:00 à 2015-04-29 12:00:01
20150429.120000-20150429.120001
2015-04-29 12:00:00 à 2015-04-29 12:00:01 (idem, les points sont ignorés)
20150429.12:00:00-20150429.12:00:01
2015-04-29 12:00:00 à 2015-04-29 12:00:01 (idem, les deux-points sont également ignorés)
Dernière mise à jour : 2026-04-21