Dada una marca de tiempo de Unix como entrada, proporcione una cadena de fecha y hora, en un formato como este: "YYMMDD.HHmm"

Reglas

• La entrada es un número (entero) de un tiempo de época UNIX preciso en milisegundos (milisegundos desde el 1 de enero de 1970 00: 00: 00,000 UTC).
• Los valores deben rellenarse con ceros si tienen 1 carácter en lugar de 2. (por ejemplo: para "DD", "1" no es aceptable, pero "01" sí).
• La salida debe ser una sola cadena. No hay matrices.
• El segundo salto no importa.
• Las victorias más cortas.

¡Buena suerte!

Ejemplo

Input: 1547233866744
Output: 190111.1911

Japt v1.4.5 , 19 16 bytes

GîÐU s3)¤o>J i.G

1 byte guardado gracias a Oliver , lo que llevó a otros 2 bytes guardados.

Intentalo

Explicación

GîÐU s3)¤o>J i.G
                     :Implicit input of integer U
G                    :16
 î                   :Get the first 16 characters of the following string
  ÐU                 :  Convert U to a date object
     s3              :  Convert to ISO string
       )             :End get
        ¤            :Slice off the first 2 characters
         o           :Filter
          >J         :  Greater than -1
             i.G     :Insert "." at 0-based index 16, with wrapping

Notas / Consejos

• Obtener los primeros 16 caracteres de la cadena ISO y luego cortar los dos primeros es un byte más corto que realizar un solo corte .
• Gse usa para insertar el .en el índice requerido porque usar un literal 6haría que se combinara con .y para que se interpretara como un decimal que se insertaría al comienzo de la cadena . Para evitar eso, necesitaría agregar un 'antes del .para forzarlo a ser interpretado como una cadena .
• Japt v1.4.5 se usa porque Japt no tiene una constante para 17y desde v1.4.6 al intentar insertar algo en el primer índice más allá del final de una cadena resulta en que se inserte al final de la cadena ( Aes el Japt constante para 10) mientras que antes de v1.4.6 inmediatamente vuelve al principio de la cadena .

JavaScript (ES6), 65 bytes

n=>'101010.1010'.replace(i=/\d/g,x=>new Date(n).toJSON()[i=x-~i])

Pruébalo en línea!

¿Cómo?

Inicializamos el puntero en un valor no numérico (forzado a ) y luego agregamos alternativamente y para elegir los caracteres relevantes de la conversión ISO-8601 de la marca de tiempo de entrada.$i$$0$$2$$1$

yyyy-mm-ddThh:mm:ss.sssZ
  ^^ ^^ ^^ ^^ ^^

JavaScript (ES6), 66 bytes

n=>'235689.BCEF'.replace(/\w/g,x=>new Date(n).toJSON()[+`0x${x}`])

Pruébalo en línea!

¿Cómo?

Una vez que la marca de tiempo de entrada se convierte en formato ISO-8601, se puede acceder a todos los caracteres requeridos con un solo dígito hexadecimal.

yyyy-mm-ddThh:mm:ss.sssZ
  ↓↓ ↓↓ ↓↓ ↓↓ ↓↓
0123456789ABCDEF

Bash + coreutils, 29 bytes

date -d@${1::-3} +%y%m%d.%H%M

Pruébalo en línea!

PHP , 40 32 31 bytes

-8 bytes gracias a Luis felipe
-1 byte gracias a Jo King

<?=date('ymd.hi',$argv[1]/1e3);

Pruébalo en línea!

Simple respuesta ingenua. La datefunción de PHP toma una cadena de formato y una marca de tiempo entera. Entrada de argumentos cli, que es una cadena por defecto, entonces /1e3porque dateespera marcas de tiempo de segunda precisión. Esto también obliga a la cadena a un número.

MATL , 28 bytes

Gracias a @skiilaa por una corrección en el formato de salida.

864e5/719529+'YYmmDD.HHMM'XO

Pruébalo en línea!

Explicación

MATL, como MATLAB, define los números de fecha / hora como el número (posiblemente no entero) de días desde la hora 00:00 de la "fecha" de referencia 0-enero-0000.

Por lo tanto, tomamos la entrada, la dividimos entre 86400000 (número de milisegundos en un día), agregamos 719529 (número de días desde la referencia de MATL a la referencia de UNIX) y la convertimos al formato deseado 'YYmmDD.HHMM'.

PowerShell , 59 58 bytes

"{0:yyMMdd.HHmm}"-f(Date 1/1/1970).AddSeconds("$args"/1e3)

Pruébalo en línea!

Obtiene el Datede 1/1/1970(el valor predeterminado es 00:00:00 am) y luego Addel número apropiado de Seconds. Pasa eso al -foperador ormat, que formatea correctamente la fecha y hora.

Probablemente dependiente de la cultura. Esto funciona en TIO, que es en-us.

-1 byte gracias a shaggy.

GNU AWK, 34 33 caracteres

$0=strftime("%y%m%d.%H%M",$0/1e3)

( strftime()es la extensión GNU, no se ejecutará en otras implementaciones de AWK).

Gracias a:

• Jo King por sugerir la notación E (-1 carácter)

Muestra de ejecución:

bash-4.4$ awk '$0=strftime("%y%m%d.%H%M",$0/1e3)' <<< 1547233866744
190111.2111

Pruébalo en línea!

Perl 6 ,  111 89  87 bytes

{~DateTime.new($_/Ⅿ,:formatter{"{(.year%Ⅽ,.month,.day).fmt('%02d','')}.{(.hour,.minute).fmt('%02d','')}"})}

Pruébalo (111)

{TR/-//}o{S/..//}o{.yyyy-mm-dd~'.'~(.hour,.minute).fmt('%02d','')}o{DateTime.new($_/Ⅿ)}

Pruébalo (89)

{TR/- //}o{S/..//}o{.yyyy-mm-dd~'.'~(.hour,.minute).fmt('%02d')}o{DateTime.new($_/Ⅿ)}

Pruébalo (87)

Explicación:

El ooperador infijo toma dos funciones y crea una función compuesta. Primero se llama al que está más a la derecha, y al que está a la izquierda se llama con su resultado.

Básicamente usamos 4 lambdas de bloque para generar una sola lambda.

Lo que no es muy diferente de cómo * + *se crea un Lambda de WhateverCode .

Dividir por 1000 y usar eso para crear un objeto DateTime.

{DateTime.new($_/Ⅿ)} # Ⅿ is ROMAN NUMERAL ONE THOUSAND (3 bytes)

El resultado se usa por:

{
   .yyyy-mm-dd # 2019-01-11

   ~ '.' ~     # str concatenation with '.'

   ( .hour, .minute ).fmt('%02d') # add leading 0s (returns List)
}

Eso nos deja con una cuerda como 2019-01-11.19 11

Necesitamos eliminar los dos primeros dígitos.

{S/..//}

También necesitamos eliminar -y

{TR/- //}

Python 2 , 64 bytes

lambda s:strftime('%y%m%d.%H%M',gmtime(s/1e3))
from time import*

Pruébalo en línea!

La entrada se considera en UTC.

R , 58 56 bytes

format(as.POSIXct(scan()/1e3,,'1970-1-1'),'%y%m%d.%H%M')

Pruébalo en línea!

C (gcc) (32 bits, little endian), 67 bytes

f(t,s)long long t;{t/=1e3;strftime(s,12,"%y%m%d.%H%M",gmtime(&t));}

Pruébalo en línea!

En una plataforma ILP64, la siguiente versión de 55 bytes debería funcionar:

f(t,s){t/=1e3;strftime(s,12,"%y%m%d.%H%M",gmtime(&t));}

Perl 6 , 57 50 bytes

{TR:d/T:-/./}o{substr ~DateTime.new($_/1e3): 2,15}

Pruébalo en línea!

Toma la cadena de caracteres predeterminada de una fecha y hora, en el formato yyyy-mm-ddThh:mm:ssZy la modifica para que se ajuste al formato de salida. Perl 6 necesita un método de formateador de fecha.

Explicación:

                       Datetime.new($_/1e3) # Create a date time
                      ~                 # Stringify it to the format yyyy-mm-ddThh:mm:ssZ
                                        # e.g. 2019-01-11T19:11:06.744000Z
               substr                      : 2,15  # Take the middle 15 characters
 {TR:d/T  /./}o   # Then replace 'T' with '.'
        :-        # Then remove ':' and '-'

C # (compilador interactivo de Visual C #) , 67 61 60 bytes

n=>$"{new DateTime(1970,1,1).AddTicks(n*10000):yyMMdd.HHmm}"

Por razones desconocidas para mí, DateTime.UnixEpoch no funciona.

Pruébalo en línea!

Javascript ES6, 76 66 bytes

x=>new Date(x).toJSON().slice(2,16).replace(/\D/g,a=>a>'S'?'.':'')

Pruébalo en línea

-10 bytes gracias a Shaggy!

x // timestamp
=>
new Date(x) // date object from timestamp
.toJSON() // same as .toISOString()
.slice(2,16) // cut off excess
.replace(/\D/g, // match all non-digits
a // a is matched character
=>
a>'S'?'.' // if a is T (bigger than S is shorter) replace it with .
:''       // if it's not T, replace it with nothing
          // this way the dashes get removed and the dot gets put in the right place
) // end of replace

C (clang) , 117111 bytes

Gracias a @chux y @ceilingcat por las sugerencias.

#import<time.h>
*l;f(long t){t/=1e3;printf("%02d%02d%02d.%02d%02d",5[l=gmtime(&t)]%100,l[4]+1,l[3],l[2],l[1]);}

Pruébalo en línea!

Ramita, 25 caracteres

{{d[:-3]|date('ymd.hi')}}

Esta es una plantilla. Llámelo incluyéndolo y pase el tiempo Unix como parámetro d.

Uso de la muestra:

{{include('datetime.twig', {'d': 1547233866744})}}

Pruébalo en TwigFiddle

JavaScript, 64 bytes

n=>'2356891911121415'.replace(/1?./g,x=>new Date(n).toJSON()[x])

Pruébalo en línea!

jq, 33 caracteres

(Código de 30 caracteres + opción de línea de comando de 3 caracteres)

./1000|strftime("%y%m%d.%H%M")

Ejecución de muestra:

bash-4.4$ jq -r './1000|strftime("%y%m%d.%H%M")' <<< 1547233866744
190111.1911

Pruébalo en línea!

ksh , 36 bytes

printf "%(%y%m%d.%H%M)T" $(($1/1e3))

Pruébalo en línea!

Gracias a Jo King por 15 bytes guardados

MediaWiki, 46 bytes

{{#time:ymd.Hi|@{{#expr:floor({{{1}}}/1e3)}}}}

Java 8, 78 bytes

n->new java.text.SimpleDateFormat("yyMMdd.HHmm").format(new java.util.Date(n))

Pruébalo en línea.

Explicación:

n->                       // Method with long parameter and String return-type
  new java.text.SimpleDateFormat("yyMMdd.HHmm")
                          //  Create the formatter
   .format(               //  Format the date to a String in this format and return it:
     new java.util.Date(  //   Create a new Date
      n))                 //   With the input-long as timestamp