Perguntas com a marcação «format»

Existe um shell script (Unix) para formatar JSON em formato legível por humanos? Basicamente, quero transformar o seguinte: { "foo": "lorem", "bar": "ipsum" } ... em algo assim: { "foo": "lorem", "bar": "ipsum" }

3061 json  unix  command-line  format  pretty-print 

x = " \{ Hello \} {0} " print(x.format(42)) me dá: Key Error: Hello\\ Quero imprimir a saída: {Hello} 42

1509 python  string  format  string-formatting  curly-braces 

Quero adicionar uma vírgula na casa dos milhares para um número. String.Format()?

852 c#  .net  string  format 

Eu tenho uma variável que contém o valor 1234567. Eu gostaria que ele contenha exatamente 8 dígitos, ou seja 01234567. Existe uma função PHP para isso?

601 php  numbers  format 

Um duplo de 64 bits pode representar inteiro +/- 2 53 exatamente Dado esse fato, optei por usar um tipo duplo como um tipo único para todos os meus tipos, pois meu maior número inteiro é sem sinal de 32 bits. Mas agora eu tenho que imprimir esses pseudo números …

496 java  string  floating-point  format  double 

Como você formata automaticamente o código no Eclipse?

411 eclipse  formatting  format  code-formatting 

Como você TextViewjustifica o texto de a (com o texto nivelado nos lados esquerdo e direito)? Encontrei uma solução possível aqui , mas ela não funciona (mesmo se você mudar o centro vertical para o center_vertical, etc.).

396 android  text  format  textview  justify 

Eu tenho a seguinte data: 2011-08-12T20:17:46.384Z. Que formato é esse? Estou tentando analisá-lo com Java 1.4 via DateFormat.getDateInstance().parse(dateStr)e estou recebendo java.text.ParseException: Data imperceptível: "2011-08-12T20: 17: 46.384Z" Eu acho que eu deveria estar usando SimpleDateFormat para análise, mas eu tenho que saber a seqüência de formato primeiro. Tudo o que tenho …

384 java  date  time  format  simpledateformat 

Existe uma maneira simples de converter um formato de data para outro formato de data no PHP? Eu tenho isto: $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 Mas é claro que eu gostaria que retornasse uma data …

336 php  date  datetime  format  date-conversion 

Estou tentando usar um .formatmétodo de uma seqüência de caracteres. Mas se eu colocar% 1,% 2, etc. na cadeia de caracteres, java.util.UnknownFormatConversionException será lançado apontando para um pedaço de código-fonte Java confuso: private void checkText(String s) { int idx; // If there are any '%' in the given string, we …

322 java  string  scala  format 

Como formatar corretamente de acordo com a data e a hora da configuração do dispositivo, tendo um ano, mês, dia, hora e minuto?

321 android  date  time  formatting  format 

Como você exibe um objeto de data e hora do JavaScript no formato de 12 horas (AM / PM)?

306 javascript  datetime  date  time  format 

ISO 8601 e RFC 3339 parecem ser dois formatos comuns na web. Devo usar um sobre o outro? Um é apenas uma extensão? Eu realmente preciso me importar tanto assim?

280 datetime  format  web-standards 

Estou tendo problemas para formatar um datetime.timedeltaobjeto. Aqui está o que estou tentando fazer: Eu tenho uma lista de objetos e um dos membros da classe do objeto é um objeto timedelta que mostra a duração de um evento. Gostaria de exibir essa duração no formato de horas: minutos. Eu …

275 python  string  datetime  format  timedelta 

Eu preciso formatar um float para "n" casas decimais. estava tentando BigDecimal, mas o valor de retorno não está correto ... 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 …

220 java  android  floating-point  numbers  format