Diberi cap waktu unix sebagai input, berikan string datetime, dalam format seperti: "YYMMDD.HHmm"

Aturan

• Input adalah angka (bilangan bulat) dari waktu UNIX yang tepat dalam milidetik (milidetik sejak 1970 1 Januari 00: 00: 00.000 UTC).
• Nilai harus diisi dengan nol jika mereka adalah 1 karakter dan bukan 2. (mis: untuk "DD", "1" tidak dapat diterima, tetapi "01" adalah.)
• Output harus berupa string tunggal. Tidak ada array.
• Menangani lompatan kedua tidak masalah.
• Kemenangan terpendek.

Semoga berhasil!

Contoh

Input: 1547233866744
Output: 190111.1911

Japt v1.4.5 , 19 16 byte

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

1 byte disimpan berkat Oliver , yang menyebabkan 2 byte lainnya disimpan.

Cobalah

Penjelasan

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

Catatan / Tips

• Mendapatkan 16 karakter pertama dari string ISO dan kemudian memotong dua karakter pertama adalah satu byte lebih pendek daripada melakukan satu irisan .
• Gdigunakan untuk menyisipkan .pada indeks yang diperlukan karena menggunakan literal 6akan menyebabkannya digabungkan dengan .dan untuk itu ditafsirkan sebagai desimal yang akan dimasukkan pada awal string . Untuk menyiasatinya saya perlu menambahkan 'sebelum .untuk memaksanya ditafsirkan sebagai string .
• Japt v1.4.5 digunakan karena Japt tidak memiliki konstanta untuk 17dan dari v1.4.6 untuk mencoba memasukkan sesuatu pada indeks pertama melewati akhir sebuah string, hasilnya dimasukkan di akhir string ( Aadalah Japt konstan untuk 10) sedangkan sebelum v1.4.6 ia segera membungkus kembali ke awal string .

JavaScript (ES6), 65 byte

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

Cobalah online!

Bagaimana?

Kami menginisialisasi penunjuk $i$ ke nilai non-numerik (dipaksakan ke $0$ ) dan kemudian menambahkan secara bergantian $2$ dan $1$ untuk memilih karakter yang relevan dari konversi ISO-8601 dari timestamp input.

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

JavaScript (ES6), 66 byte

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

Cobalah online!

Bagaimana?

Setelah timestamp input dikonversi dalam format ISO-8601, semua karakter yang diperlukan dapat diakses dengan satu digit heksadesimal.

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

Bash + coreutils, 29 byte

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

Cobalah online!

PHP , 40 32 31 byte

-8 byte berkat Luis felipe
-1 byte terima kasih kepada Jo King

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

Cobalah online!

Jawaban naif sederhana. dateFungsi PHP mengambil string format dan cap waktu integer. Masukan dari argumen cli, yang merupakan string secara default, maka /1e3karena datemengharapkan cap waktu tepat kedua. Ini juga memaksa string ke nomor.

MATL , 28 byte

Terima kasih kepada @skiilaa untuk koreksi dalam format output.

864e5/719529+'YYmmDD.HHMM'XO

Cobalah online!

Penjelasan

MATL, seperti MATLAB, mendefinisikan angka tanggal / waktu sebagai (mungkin bukan bilangan bulat) hari sejak waktu 00:00 dari "tanggal" referensi 0-Jan-0000.

Jadi kami mengambil input, membaginya dengan 86400000 (jumlah milidetik dalam satu hari), tambahkan 719529 (jumlah hari dari referensi MATL ke referensi UNIX), dan konversikan ke format yang diinginkan 'YYmmDD.HHMM'.

PowerShell , 59 58 byte

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

Cobalah online!

Mendapat Datedari 1/1/1970(default ke 00:00:00 pagi), lalu Adds jumlah yang sesuai Seconds. Mengirimnya ke -foperator ormat, yang memformat datetime dengan benar.

Mungkin tergantung budaya. Ini bekerja pada TIO, yaitu en-us.

-1 byte berkat shaggy.

GNU AWK, 34 33 karakter

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

( strftime()adalah ekstensi GNU, tidak akan berjalan di implementasi AWK lainnya.)

Terimakasih untuk:

• Jo King karena menyarankan E-notasi (-1 karakter)

Sampler run:

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

Cobalah online!

Perl 6 ,  111 89  87 byte

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

Cobalah (111)

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

Cobalah (89)

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

Cobalah (87)

Penjelasan:

The oOperator infiks mengambil dua fungsi dan menciptakan fungsi komposit. Yang paling kanan dipanggil terlebih dahulu, dan yang ke kiri dipanggil dengan hasilnya.

Pada dasarnya kami menggunakan 4 blok lambdas untuk menghasilkan satu lambda.

Yang tidak jauh berbeda dengan bagaimana lambda LIKE ApapunCode * + *dibuat.

Bagilah dengan 1000 dan gunakan itu untuk membuat objek DateTime.

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

Hasilnya akan digunakan oleh:

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

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

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

Itu membuat kita seperti string 2019-01-11.19 11

Kami perlu menghapus dua digit pertama

{S/..//}

Kami juga perlu menghapus -dan

{TR/- //}

Python 2 , 64 byte

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

Cobalah online!

Masukan dianggap dalam UTC.

R , 58 56 byte

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

Cobalah online!

C (gcc) (32-bit, little endian), 67 byte

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

Cobalah online!

Pada platform ILP64, versi 55 byte berikut ini akan berfungsi:

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

Perl 6 , 57 50 byte

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

Cobalah online!

Mengambil pengetatan default Datetime, dalam format yyyy-mm-ddThh:mm:ssZdan memodifikasinya agar sesuai dengan format output. Perl 6 membutuhkan metode formatter tanggal.

Penjelasan:

                       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 # (Visual C # Interactive Compiler) , 67 61 60 byte

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

Untuk alasan yang tidak saya ketahui, DateTime.UnixEpoch tidak berfungsi.

Cobalah online!

Javascript ES6, 76 66 byte

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

Cobalah online

-10 byte berkat 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 (dentang) , 117 111 byte

Terima kasih kepada @chux dan @ceilingcat untuk sarannya.

#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]);}

Cobalah online!

Ranting, 25 karakter

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

Ini adalah templat. Sebut dengan memasukkannya dan lulus waktu Unix sebagai parameter d.

Penggunaan sampel:

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

Cobalah di TwigFiddle

JavaScript, 64 byte

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

Cobalah online!

jq, 33 karakter

(30 karakter kode + 3 opsi opsi baris perintah)

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

Contoh dijalankan:

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

Cobalah online!

ksh , 36 byte

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

Cobalah online!

Terima kasih kepada Jo King untuk 15 byte yang disimpan

MediaWiki, 46 byte

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

Java 8, 78 byte

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

Cobalah online.

Penjelasan:

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