标签: format

是否有(Unix)shell脚本以人类可读的形式格式化JSON？

基本上,我希望它改变以下内容:

{ "foo": "lorem", "bar": "ipsum" }

...进入这样的事情:

{
    "foo": "lorem",
    "bar": "ipsum"
}

x = " \{ Hello \} {0} "
print x.format(42)

给我 : Key Error: Hello\\

我想打印输出: {Hello} 42

我有一个包含值的变量1234567.

我希望它包含8个数字,即01234567.

那有PHP功能吗？

64位双精度可以精确地表示整数+/- 2 ⁵³

鉴于这一事实,我选择将double类型用作所有类型的单一类型,因为我的最大整数是无符号32位.

但现在我必须打印这些伪整数,但问题是它们也与实际双打混合在一起.

那么如何在Java中很好地打印这些双打？

我试过了String.format("%f", value),这很接近,除了我得到很多小值的尾随零.

这是一个示例输出 %f

232.00000000
0.18000000000
1237875192.0
4.5800000000
0.00000000
1.23450000

我想要的是:

232
0.18
1237875192
4.58
0
1.2345

当然,我可以编写一个函数来修剪这些零,但由于字符串操作,这会导致很多性能损失.我可以用其他格式代码做得更好吗？

编辑

Tom E.和Jeremy S.的答案是不可接受的,因为它们都可以任意舍入到小数点后两位.请在回答之前先了解问题.

编辑2

请注意,String.format(format, args...)是区域设置相关的(见下面的答案).

你如何在Eclipse中自动格式化代码？

你如何得到一个TextView被证明的文本(在左侧和右侧有文字冲洗)？

我在这里找到了一个可能的解决方案,但它不起作用(即使你将vertical-center更改为center_vertical等).

是否有一种简单的方法可以将一种日期格式转换为PHP中的另一种日期格式？

我有这个:

$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

但我当然希望它能够返回当前的日期,而不是破解那天.我究竟做错了什么？

我正在尝试使用.format字符串的方法.但是如果我在字符串中放置%1,%2等,则会抛出java.util.UnknownFormatConversionException指向令人困惑的Java源代码段:

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('%')) != -1) {
        char c = (idx > s.length() - 2 ? '%' : s.charAt(idx + 1));
        throw new UnknownFormatConversionException(String.valueOf(c));
    }
}

据此我明白,%禁止使用char.如果是这样,那么我应该将什么用于参数占位符？

我使用Scala 2.8.

我有以下日期: 2011-08-12T20:17:46.384Z.这是什么格式的？我正在尝试使用Java 1.4解析它DateFormat.getDateInstance().parse(dateStr)并且我得到了

java.text.ParseException:Unparseable date:"2011-08-12T20:17:46.384Z"

我想我应该使用SimpleDateFormat进行解析,但我必须首先知道格式字符串.到目前为止yyyy-MM-dd,我所拥有的只是,因为我不知道T这个字符串中的含义是什么 - 与时区有关？此日期字符串来自文件CMIS下载历史记录媒体类型lcmis:downloadedOn上显示的标记.

如何根据设备配置正确格式化具有年,月,日,小时和分钟的日期和时间？