Pertanyaan yang diberi tag «format»

Apakah ada skrip shell (Unix) untuk memformat JSON dalam bentuk yang dapat dibaca manusia? Pada dasarnya, saya ingin mengubah yang berikut: { "foo": "lorem", "bar": "ipsum" } ... menjadi sesuatu seperti ini: { "foo": "lorem", "bar": "ipsum" }

3061 json  unix  command-line  format  pretty-print 

x = " \{ Hello \} {0} " print(x.format(42)) memberi saya: Key Error: Hello\\ Saya ingin mencetak hasilnya: {Hello} 42

1510 python  string  format  string-formatting  curly-braces 

Saya ingin menambahkan koma di ribuan tempat untuk nomor. String.Format()?

852 c#  .net  string  format 

Saya memiliki variabel yang berisi nilai 1234567. Saya ingin mengandung tepat 8 digit, yaitu 01234567. Apakah ada fungsi PHP untuk itu?

601 php  numbers  format 

Double 64-bit dapat mewakili integer +/- 2 53 dengan tepat Mengingat fakta ini saya memilih untuk menggunakan tipe ganda sebagai tipe tunggal untuk semua tipe saya, karena integer terbesar saya tidak bertanda 32-bit. Tapi sekarang saya harus mencetak bilangan bulat semu ini, tetapi masalahnya adalah mereka juga bercampur dengan ganda …

496 java  string  floating-point  format  double 

Bagaimana Anda memformat kode secara otomatis di Eclipse?

411 eclipse  formatting  format  code-formatting 

Bagaimana Anda membuat teks a TextViewdibenarkan (dengan teks rata di sisi kiri dan kanan)? Saya menemukan solusi yang mungkin di sini , tetapi tidak berhasil (bahkan jika Anda mengubah vertikal-center ke center_vertical, dll).

396 android  text  format  textview  justify 

Saya memiliki tanggal sebagai berikut: 2011-08-12T20:17:46.384Z. Format apa ini? Saya mencoba untuk menguraikannya dengan Java 1.4 via DateFormat.getDateInstance().parse(dateStr)dan saya mengerti java.text.ParseException: Tanggal tidak dapat diparsing: "2011-08-12T20: 17: 46.384Z" Saya pikir saya harus menggunakan SimpleDateFormat untuk parsing, tetapi saya harus tahu format string terlebih dahulu. Yang saya miliki sejauh ini adalah …

384 java  date  time  format  simpledateformat 

Apakah ada cara sederhana untuk mengubah satu format tanggal menjadi format tanggal lain di PHP? Aku punya ini: $old_date = date('y-m-d-h-i-s'); // works $middle = strtotime($old_date); // returns bool(false) $new_date = date('Y-m-d H:i:s', $middle); // returns 1970-01-01 00:00:00 Tapi tentu saja saya lebih suka mengembalikan tanggal saat ini daripada celah …

336 php  date  datetime  format  date-conversion 

Saya mencoba menggunakan .formatmetode string. Tetapi jika saya menempatkan% 1,% 2, dll dalam string, java.util.UnknownFormatConversionException dilemparkan ke bagian kode Java yang membingungkan: private void checkText(String s) { int idx; // If there are any '%' in the given string, we got a bad format // specifier. if ((idx = s.indexOf('%')) …

322 java  string  scala  format 

Bagaimana memformat dengan benar sesuai dengan tanggal dan waktu konfigurasi perangkat ketika memiliki satu tahun, bulan, hari, jam dan menit?

321 android  date  time  formatting  format 

Bagaimana Anda menampilkan objek datetime JavaScript dalam format 12 jam (AM / PM)?

306 javascript  datetime  date  time  format 

ISO 8601 dan RFC 3339 tampaknya merupakan dua format yang umum di web. Haruskah saya menggunakan salah satunya? Apakah hanya ekstensi? Apakah saya benar-benar perlu peduli seburuk itu?

280 datetime  format  web-standards 

Saya mengalami kesulitan memformat datetime.timedeltaobjek. Inilah yang saya coba lakukan: Saya memiliki daftar objek dan salah satu anggota kelas objek adalah objek timedelta yang menunjukkan durasi suatu peristiwa. Saya ingin menampilkan durasi itu dalam format jam: menit. Saya telah mencoba berbagai metode untuk melakukan ini dan saya mengalami kesulitan. Pendekatan …

275 python  string  datetime  format  timedelta 

Saya perlu memformat float ke tempat desimal "n". sedang mencoba ke BigDecimal, tetapi nilai kembali tidak benar ... public static float Redondear(float pNumero, int pCantidadDecimales) { // the function is call with the values Redondear(625.3f, 2) BigDecimal value = new BigDecimal(pNumero); value = value.setScale(pCantidadDecimales, RoundingMode.HALF_EVEN); // here the value is …

220 java  android  floating-point  numbers  format