Preguntas etiquetadas con format

¿Existe un script de shell (Unix) para formatear JSON en forma legible para humanos? Básicamente, quiero que transforme lo siguiente: { "foo": "lorem", "bar": "ipsum" } ... en algo como esto: { "foo": "lorem", "bar": "ipsum" }

3062 json  unix  command-line  format  pretty-print 

x = " \{ Hello \} {0} " print(x.format(42)) me da Key Error: Hello\\ Quiero imprimir la salida: {Hello} 42

1511 python  string  format  string-formatting  curly-braces 

Quiero agregar una coma en el lugar de miles para un número. String.Format()?

852 c#  .net  string  format 

Tengo una variable que contiene el valor 1234567. Me gustaría que contenga exactamente 8 dígitos, es decir 01234567. ¿Hay una función PHP para eso?

601 php  numbers  format 

Un doble de 64 bits puede representar un entero +/- 2 53 exactamente Dado este hecho, elijo usar un tipo doble como tipo único para todos mis tipos, ya que mi número entero más grande es de 32 bits sin signo. Pero ahora tengo que imprimir estos pseudo enteros, pero …

496 java  string  floating-point  format  double 

¿Cómo se formatea automáticamente el código en Eclipse?

411 eclipse  formatting  format  code-formatting 

¿Cómo se consigue que el texto de TextViewa se justifique (con el texto al ras en los lados izquierdo y derecho)? Encontré una posible solución aquí , pero no funciona (incluso si cambia vertical-center a center_vertical, etc.).

396 android  text  format  textview  justify 

Tengo la siguiente fecha: 2011-08-12T20:17:46.384Z. ¿Qué formato es este? Estoy tratando de analizarlo con Java 1.4 a través DateFormat.getDateInstance().parse(dateStr)y estoy obteniendo java.text.ParseException: fecha no analizable: "2011-08-12T20: 17: 46.384Z" Creo que debería usar SimpleDateFormat para analizar, pero primero tengo que conocer la cadena de formato. Todo lo que tengo para eso …

385 java  date  time  format  simpledateformat 

¿Hay una manera simple de convertir un formato de fecha en otro formato de fecha en PHP? Tengo esto: $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 Pero, por supuesto, me gustaría devolver una fecha actual en lugar …

336 php  date  datetime  format  date-conversion 

Estoy tratando de usar un .formatmétodo de una cadena. Pero si coloco% 1,% 2, etc. en la cadena, se arroja java.util.UnknownFormatConversionException apuntando a una pieza de código fuente Java confusa: private void checkText(String s) { int idx; // If there are any '%' in the given string, we got a …

322 java  string  scala  format 

¿Cómo formatear correctamente según la fecha y hora de configuración del dispositivo cuando se tiene un año, mes, día, hora y minuto?

321 android  date  time  formatting  format 

¿Cómo mostrar un objeto de fecha y hora de JavaScript en el formato de 12 horas (AM / PM)?

306 javascript  datetime  date  time  format 

ISO 8601 y RFC 3339 parecen ser dos formatos comunes en la web. ¿Debo usar uno sobre el otro? ¿Es uno solo una extensión? ¿Realmente necesito que me importe tanto?

280 datetime  format  web-standards 

Tengo problemas para formatear un datetime.timedeltaobjeto. Esto es lo que intento hacer: tengo una lista de objetos y uno de los miembros de la clase del objeto es un objeto timedelta que muestra la duración de un evento. Me gustaría mostrar esa duración en el formato de horas: minutos. He …

275 python  string  datetime  format  timedelta 

Necesito formatear un flotador a "n" decimales. estaba intentando BigDecimal, pero el valor de retorno no es correcto ... 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 …

220 java  android  floating-point  numbers  format