function formatAMPM(date) { var hours = date.getHours(); var minutes = date.getMinutes(); var ampm = hours >= 12 ? ‘pm’ : ‘am’; hours = hours % 12; hours = hours ? hours : 12; // the hour ‘0’ should be ’12’ minutes = minutes < 10 ? ‘0’+minutes : minutes; var strTime = hours + ‘:’ … Read more
On Windows and Linux : Ctrl + Shift + F On Mac : ⌘ + ⇧ + F (Alternatively you can press Format in Main Menu > Source)
I do not believe Android supports full justification. UPDATE 2018-01-01: Android 8.0+ supports justification modes with TextView.
If the idea is to print integers stored as doubles as if they are integers, and otherwise print the doubles with the minimum necessary precision: public static String fmt(double d) { if(d == (long) d) return String.format(“%d”,(long)d); else return String.format(“%s”,d); } Produces: 232 0.18 1237875192 4.58 0 1.2345 And does not rely on string manipulation.
The T is just a literal to separate the date from the time, and the Z means “zero hour offset” also known as “Zulu time” (UTC). If your strings always have a “Z” you can use: SimpleDateFormat format = new SimpleDateFormat( “yyyy-MM-dd’T’HH:mm:ss.SSS’Z'”, Locale.US); format.setTimeZone(TimeZone.getTimeZone(“UTC”)); Or using Joda Time, you can use ISODateTimeFormat.dateTime().
Use sprintf : sprintf(‘%08d’, 1234567); Alternatively you can also use str_pad: str_pad($value, 8, ‘0’, STR_PAD_LEFT);
decimalVar.ToString(“#.##”); // returns “.5” when decimalVar == 0.5m or decimalVar.ToString(“0.##”); // returns “0.5” when decimalVar == 0.5m or decimalVar.ToString(“0.00”); // returns “0.50” when decimalVar == 0.5m
String.Format(“{0:n}”, 1234); // Output: 1,234.00 String.Format(“{0:n0}”, 9876); // No digits after the decimal point. Output: 9,876
You need to double the {{ and }}: >>> x = ” {{ Hello }} {0} ” >>> print(x.format(42)) ‘ { Hello } 42 ‘ Here’s the relevant part of the Python documentation for format string syntax: Format strings contain “replacement fields” surrounded by curly braces {}. Anything that is not contained in braces is … Read more
With Python 2.6+ you can do: echo ‘{“foo”: “lorem”, “bar”: “ipsum”}’ | python -m json.tool or, if the JSON is in a file, you can do: python -m json.tool my_json.json if the JSON is from an internet source such as an API, you can use curl http://my_url/ | python -m json.tool For convenience in all … Read more