Re: Formatage de l'heure JMP Contrôle 12 v 24 heures - Statut modifié en : LivréÀ partir de JMP 16, vous pouvez désormais définir des modèles de format de date, d'heure et de date/heure personnalisés. en JSL ou de manière interactive .
Plus d'informations à Formatage des dates personnalisées
Re : Formatage de l'heure JMP, contrôle 12 v 24 heuresLors de la mise à jour de la fonction de format, une fonction d'analyse correspondante utilisant le même ensemble de caractères de format permettrait de gagner beaucoup de temps.Cette fonction pourrait être idéale.
parse_datetime (
"File sent 4:56 AM on 3-2-2019, 100% complete.",
"*sent %%h:%%m %%AM on %%m-%%d-%%y*",
prepend = "%%",
wild = "*"
)
Re : Formatage de l'heure JMP, contrôle 12 v 24 heuresJ'ai beaucoup réfléchi au sujet de l'horodatage car il a un impact sur les opérations mondiales 24 heures sur 24.En raison des différentes conventions locales (mois en premier ou jour en premier), l'utilisation des chiffres pour le jour et le mois devient ambiguë !C'est pourquoi je préfère fortement l'utilisation d'Alpha Lun Pour mois.En ajoutant cette pensée aux belles suggestions de formatage de l'heure ci-dessus, j'aimerais voir :
//Ce que veut l'utilisateur : "12 Sep 2018 17:12:46" //Par exemple : cet horodatage au format global préféré de 24 heures est disponible en tant que "Format d'heure PI" dans le principal historien PI d'OSISoft.
JMP Pro 14.1 s'en rapproche désormais assez avec jjMonaaaa:h:m:s , mais le : h est très difficile à voir et à interpréter, et un deux-points avant une heure est tout simplement "bizarre".Soit la capitale H ou double-minuscule hh serait plus clair.
Re : Formatage de l'heure JMP, contrôle 12 v 24 heuresOui, je suis d'accord, s'ils mettent à jour la fonction format(), ce serait bien pour eux de tout mettre en œuvre et de la rendre aussi robuste que possible.
Quelques liens utiles sur le formatage de l'heure :
https://en.wikipedia.org/wiki/ISO_8601
https://www.w3.org/TR/NOTE-datetime
Re : Formatage de l'heure JMP, contrôle 12 v 24 heuresJe propose d'aller plus loin et de permettre à l'utilisateur de spécifier n'importe quel format.Le comportement par défaut du format ressemblerait à ceci :
Names default to here(1);
time = 3619617166;
pad = function( {x}, if(x < 10, "0" || char( x ), char( x )));
formatdatetime = function({time, pattern, prepend=""},
char(substitute(pattern,
prepend || "H", pad(hour(time, 24)),
prepend || "h", pad(hour(time, 12)),
prepend || "M", pad(minute(time)),
prepend || "S", pad(second(time)),
prepend || "m", pad(month(time)),
prepend || "d", pad(day(time)),
prepend || "y", char(year(time)),
prepend || "AP", char(if(hour(time)==24, "AM", if(hour(time, 24)>11,"PM","AM"))),
// the rest of the formatting options..Month name,
// short month name, hours without padding, etc
))
);
formatdatetime(time, "m/d/y h:M:S AP");
// 09/12/2018 05:12:46 PM
formatdatetime(time, "ymd_HMS");
// 20180912_171246
formatdatetime(time, "hour = %h, minute = %M", "%")
// hour = 05, minute = 12Formatage de l'heure JMP, contrôle 12 v 24 heuresVeuillez permettre aux utilisateurs de sélectionner directement le format de l'heure (12 heures ou 24 heures).
time = today(); //3619617166
formattedTime = format(time, "m/d/y h:m:s");
print(formattedTime); //"09/12/2018 5:12:46 PM"
//What user wants: "09/12/2018 17:12:46"
Possibilités :
m/d/y/ H:m:s (H majuscule pour indiquer 24 heures -- courant dans d'autres langues)
format(time, "m/d/yh:m:s", 24) - permet de le spécifier dans la fonction format, similaire à la fonction Hour()
Il y a des notes énigmatiques dans le Guide de script qui suggèrent que la fonction format() choisit 12 heures ou 24 heures en fonction des paramètres de l'ordinateur, ce qui signifie que les scripts finiraient par se briser sur les ordinateurs de certains utilisateurs et seraient difficiles à résoudre.
Personnalisation de masse