La programmation

820
Quel est l'équivalent Java pour LINQ? [fermé]

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 4 ans . Quel est l'équivalent Java pour...

819
Envoi d'arguments de ligne de commande au script npm

La scriptspartie de mon package.jsonressemble actuellement à ceci: "scripts": { "start": "node ./script.js server" } ... ce qui signifie que je peux exécuter npm startpour démarrer le serveur. Jusqu'ici tout va bien. Cependant, je voudrais pouvoir exécuter quelque chose comme npm start 8080et avoir...

819
Existe-t-il un type d'entrée flottante en HTML5?

Selon html5.org , l'attribut de valeur du type d'entrée "nombre", s'il est spécifié et non vide, doit avoir une valeur qui est un nombre à virgule flottante valide. " Pourtant, il s'agit simplement (dans la dernière version de Chrome, de toute façon), d'un contrôle "de mise à jour" avec des...

816
Comment redémarrer Jenkins manuellement?

Les réponses à cette question sont un effort communautaire . Modifiez les réponses existantes pour améliorer ce post. Il n'accepte pas actuellement de nouvelles réponses ou interactions. Je viens de commencer à travailler avec Jenkins et j'ai rencontré un problème. Après avoir installé plusieurs...

815
Meilleure façon de répéter un caractère en C #

Quelle est la meilleure façon de générer une chaîne de \t'en C # J'apprends le C # et j'expérimente différentes façons de dire la même chose. Tabs(uint t)est une fonction qui renvoie une stringavec tquantité de \t« s Par exemple, Tabs(3)retourne"\t\t\t" Laquelle de ces trois façons de mettre en...

815
Générateur de chaînes aléatoires PHP

J'essaie de créer une chaîne aléatoire en PHP, et je n'obtiens absolument aucune sortie avec ceci: <?php function RandomString() { $characters = '0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ'; $randstring = ''; for ($i = 0; $i < 10; $i++) { $randstring = $characters[rand(0,...