Il peut faire référence au formatage du texte, au format du contenu, au format de fichier, au format de fichier de document, etc.
Existe-t-il un script shell (Unix) pour formater JSON sous une forme lisible par l'homme? Fondamentalement, je veux qu'il transforme les éléments suivants: { "foo": "lorem", "bar": "ipsum" } ... en quelque chose comme ça: { "foo": "lorem", "bar": "ipsum"
Je recherche un bon équivalent JavaScript du C / PHP printf()ou des programmeurs C # / Java String.Format()( IFormatProviderpour .NET). Ma condition de base est un format de mille séparateurs pour les nombres pour l'instant, mais quelque chose qui gère beaucoup de combinaisons (y compris les dates)...
x = " \{ Hello \} {0} " print(x.format(42)) Donne moi : Key Error: Hello\\ Je veux imprimer la sortie: {Hello}
Fermé. Cette question ne répond pas aux directives de débordement de pile . Il n'accepte pas actuellement de réponses. Voulez-vous améliorer cette question? Mettez à jour la question pour qu'elle soit sur le sujet de Stack Overflow. Fermé il y a 2 ans . J'ai remarqué que la new Date()fonction...
J'ai du code HTML mal formaté que je voudrais reformater. Existe-t-il une commande qui reformatera automatiquement le code HTML dans Sublime Text 2 afin qu'il soit plus beau et plus facile à
Je stocke du temps dans une base de données MySQL en tant qu'horodatage Unix et qui est envoyé à du code JavaScript. Comment pourrais-je obtenir juste du temps? Par exemple, au format HH / MM /
Je veux ajouter une virgule à la place des milliers pour un nombre. String.Format()?
Donné: DateTime.UtcNow Comment puis-je obtenir une chaîne qui représente la même valeur dans un ISO 8601 format compatible ? Notez que ISO 8601 définit un certain nombre de formats similaires. Le format spécifique que je recherche est:
Comment puis-je générer le nom du mois (par exemple: octobre / octobre) à partir de cet objet de date en JavaScript? var objDate = new
J'ai une variable qui contient la valeur 1234567. Je voudrais qu'il contienne exactement 8 chiffres, c'est-à-dire 01234567. Existe-t-il une fonction PHP pour
Un double 64 bits peut représenter un entier +/- 2 53 exactement Compte tenu de ce fait, je choisis d'utiliser un type double comme type unique pour tous mes types, car mon plus grand entier n'est pas signé 32 bits. Mais maintenant, je dois imprimer ces pseudo entiers, mais le problème est qu'ils...
J'ai un Stringreprésentant une date. String date_s = "2011-01-18 00:00:00.0"; Je voudrais le convertir en un Dateet le sortir au YYYY-MM-DDformat. 2011-01-18 Comment puis-je atteindre cet objectif? D'accord, sur la base des réponses que j'ai récupérées ci-dessous, voici quelque chose que j'ai...
J'ai créé ce script pour calculer la date 10 jours à l'avance au format jj / mm / aaaa: var MyDate = new Date(); var MyDateString = new Date(); MyDate.setDate(MyDate.getDate()+10); MyDateString = MyDate.getDate() + '/' + (MyDate.getMonth()+1) + '/' + MyDate.getFullYear(); J'ai besoin que la date...
Comment formater automatiquement le code dans
J'ajoute des chaînes de temps UTC aux réponses de l'API Bitbucket qui ne contiennent actuellement que des chaînes de temps Amsterdam (!). Par souci de cohérence avec les chaînes de temps UTC renvoyées ailleurs, le format souhaité est 2011-11-03 11:07:04(suivi de +00:00, mais ce n'est pas...
Comment obtenir que le texte d'un TextViewsoit justifié (avec affleurement de texte sur les côtés gauche et droit)? J'ai trouvé une solution possible ici , mais cela ne fonctionne pas (même si vous changez vertical-center en center_vertical,
J'ai la date suivante: 2011-08-12T20:17:46.384Z. De quel format s'agit-il? J'essaie de l'analyser avec Java 1.4 via DateFormat.getDateInstance().parse(dateStr)et je reçois java.text.ParseException: Date non comparable: "2011-08-12T20: 17: 46.384Z" Je pense que je devrais utiliser SimpleDateFormat...
J'ai une date avec le format Sun May 11,2014. Comment puis-je le convertir en 2014-05-11utilisant JavaScript? function taskDate(dateMilli) { var d = (new Date(dateMilli) + '').split(' '); d[2] = d[2] + ','; return [d[0], d[1], d[2], d[3]].join(' '); } var datemilli = Date.parse('Sun May 11,2014');...
Existe-t-il un moyen simple de convertir un format de date en un autre format de date en PHP? J'ai ceci: $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 Mais j'aimerais bien sûr...
J'essaie d'utiliser une .formatméthode de chaîne. Mais si je place% 1,% 2, etc. dans la chaîne, java.util.UnknownFormatConversionException est levée pointant vers un morceau de code source Java déroutant: private void checkText(String s) { int idx; // If there are any '%' in the given string, we...