Re: Formato de hora JMP Control de 12 v 24 horas - Estado cambiado a: EntregadoA partir de JMP 16, ahora puede definir patrones personalizados de fecha, hora y formato de fecha y hora. en JSL o interactivamente .
Mas información en Formato de fechas personalizadas
Re: Formato de hora JMP Control de 12 v 24 horasSi se actualiza la función de formato, una función de análisis correspondiente que utilice el mismo conjunto de caracteres de formato ahorraría mucho tiempo.Esta función podría ser ideal.
parse_datetime (
"File sent 4:56 AM on 3-2-2019, 100% complete.",
"*sent %%h:%%m %%AM on %%m-%%d-%%y*",
prepend = "%%",
wild = "*"
)
Re: Formato de hora JMP Control de 12 v 24 horasHe pensado mucho en el tema de la marca de tiempo, ya que afecta las operaciones globales de 24 horas.Debido a las diferentes convenciones locales (primero el mes o el día primero), el uso de dígitos para el día y el mes se vuelve ambiguo.Por lo tanto, prefiero el uso de Alpha. Lun por mes.Agregando este pensamiento a las agradables sugerencias de formato anteriores, me gustaría ver:
//Lo que quiere el usuario: "12 Sep 2018 17:12:46" //Por ejemplo: esta marca de tiempo preferida en formato global de 24 horas está disponible como "formato de hora PI" en el historiador de PI líder de OSISoft.
JMP Pro 14.1 se acerca bastante ahora con ddMonyyyy:h:m:s , pero el :h es muy difícil de ver e interpretar, y dos puntos antes de una hora son simplemente "raros".O la capital h o doble minúscula S.S sería más claro.
Re: Formato de hora JMP Control de 12 v 24 horasSí, estoy de acuerdo, si actualizan la función format() sería bueno que hicieran todo lo posible y la hicieran lo más sólida posible.
Algunos enlaces útiles sobre el formato de tiempo:
https://en.wikipedia.org/wiki/ISO_8601
https://www.w3.org/TR/NOTE-datetime
Re: Formato de hora JMP Control de 12 v 24 horasPropongo llevar esto un paso más allá y permitir al usuario especificar cualquier formato.El comportamiento predeterminado del formato sería algo como esto:
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 = 12Formato de hora JMP Control de 12 v 24 horasPermita que los usuarios seleccionen el formato de hora (12 frente a 24 horas) directamente.
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"
Opciones:
m/d/y/ H:m:s (H mayúscula para indicar 24 horas, común en otros idiomas)
format(time, "m/d/yh:m:s", 24): permite especificarlo en la función de formato, similar a la función Hour()
Hay algunas notas crípticas en la Guía de secuencias de comandos que sugieren que la función format() elige 12 horas o 24 horas según la configuración de la computadora, lo que significa que las secuencias de comandos terminarían estropeándose en las computadoras de algunos usuarios y sería difícil solucionar el problema.
La personalización en masa