Betreff: JMP-Zeitformatierung 12- oder 24-Stunden-Kontrolle – Status geändert in: GeliefertAb JMP 16 können Sie jetzt benutzerdefinierte Formatmuster für Datum, Uhrzeit und Datum/Uhrzeit definieren in JSL oder interaktiv .
Mehr Informationen bei Benutzerdefinierte Datumsangaben formatieren
Betreff: JMP-Zeitformatierung 12- oder 24-Stunden-KontrolleWenn Sie die Formatfunktion aktualisieren, würde eine entsprechende Analysefunktion, die denselben Satz von Formatzeichen verwendet, eine Menge Zeit sparen.Diese Funktion könnte ideal sein.
parse_datetime (
"File sent 4:56 AM on 3-2-2019, 100% complete.",
"*sent %%h:%%m %%AM on %%m-%%d-%%y*",
prepend = "%%",
wild = "*"
)
Betreff: JMP-Zeitformatierung 12- oder 24-Stunden-KontrolleIch habe viel über das Thema Zeitstempel nachgedacht, da es sich auf den weltweiten 24-Stunden-Betrieb auswirkt.Aufgrund unterschiedlicher lokaler Konventionen (Monat zuerst oder Tag zuerst) wird die Verwendung von Ziffern für Tag und Monat mehrdeutig!Daher bevorzuge ich unbedingt die Verwendung von Alpha Mo für Monat.Wenn ich diesen Gedanken zu den oben genannten schönen Zeitformatierungsvorschlägen hinzufüge, würde ich gerne Folgendes sehen:
//Was der Benutzer will: „12 Sept 2018 17:12:46" //Zum Beispiel: Dieser bevorzugte globale Zeitstempel im 24-Stunden-Format ist als „PI-Zeitformat“ im führenden PI-Historiker von OSISoft verfügbar.
JMP Pro 14.1 kommt dem mittlerweile ziemlich nahe ddMonyyyy:h:m:s , aber die :H ist sehr schwer zu erkennen und zu interpretieren, und ein Doppelpunkt vor einer Zeitangabe ist einfach „seltsam“.Entweder die Hauptstadt H oder dbl-lower-case hh wäre klarer.
Betreff: JMP-Zeitformatierung 12- oder 24-Stunden-KontrolleJa, ich stimme zu. Wenn sie die Funktion format() aktualisieren würden, wäre es schön, wenn sie alles daran setzen würden, sie so robust wie möglich zu machen.
Einige nützliche Links zur Zeitformatierung:
https://en.wikipedia.org/wiki/ISO_8601
https://www.w3.org/TR/NOTE-datetime
Betreff: JMP-Zeitformatierung 12- oder 24-Stunden-KontrolleIch schlage vor, noch einen Schritt weiter zu gehen und dem Benutzer die Angabe eines beliebigen Formats zu ermöglichen.Das Standardverhalten von format wäre etwa so:
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 = 12JMP-Zeitformatierung 12- oder 24-Stunden-KontrolleBitte erlauben Sie den Benutzern, das Zeitformat (12 oder 24 Stunden) direkt auszuwählen.
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"
Optionen:
m/d/y/ H:m:s (großes H zur Bezeichnung von 24 Stunden – in anderen Sprachen üblich)
format(time, "m/d/yh:m:s", 24) – ermöglicht die Angabe in der Formatfunktion, ähnlich der Hour()-Funktion
Es gibt einige kryptische Hinweise im Scripting Guide, die darauf hinweisen, dass die Funktion format() basierend auf den Computereinstellungen 12 Stunden oder 24 Stunden wählt, was bedeutet, dass Skripte auf den Computern einiger Benutzer kaputt gehen würden und eine Fehlerbehebung schwierig wäre.
Massenanpassung