La programmation

485
Supprimer un préfixe / suffixe fixe d'une chaîne dans Bash

Dans mon bash script, j'ai une chaîne et son préfixe / suffixe. J'ai besoin de supprimer le préfixe / suffixe de la chaîne d'origine. Par exemple, supposons que j'ai les valeurs suivantes: string="hello-world" prefix="hell" suffix="ld" Comment arriver au résultat suivant?

484
Pourquoi le verrou (ce) {…} est-il mauvais?

La documentation MSDN indique que public class SomeObject { public void SomeOperation() { lock(this) { //Access instance variables } } } est "un problème si l'instance est accessible publiquement". Je me demande pourquoi? Est-ce parce que le verrou sera maintenu plus longtemps que nécessaire? Ou y...

484
Comment obtenir l'extension de fichier d'un fichier en Java?

Juste pour être clair, je ne recherche pas le type MIME. Disons que j'ai l'entrée suivante: /path/to/file/foo.txt Je voudrais un moyen de décomposer cette entrée, en particulier .txtpour l'extension. Existe-t-il un moyen intégré de le faire en Java? Je voudrais éviter d'écrire mon propre...

484
Comment convertir C # nullable int en int

Comment convertir un nullable inten un int? Supposons que j'ai 2 types d'int comme ci-dessous: int? v1; int v2; Je veux attribuer v1la valeur de v2. v2 = v1;provoquera une erreur. Comment puis-je convertir v1à

484
Comment renommer une base de données MongoDB?

Il y a une faute de frappe dans le nom de ma base de données MongoDB et je cherche à renommer la base de données. Je peux copier et supprimer comme ça ... db.copyDatabase('old_name', 'new_name'); use old_name db.dropDatabase(); Existe-t-il une commande pour renommer une base de...

484
WCF vs ASP.NET Web API [fermé]

Fermé . Cette question doit être plus ciblée . Il n'accepte pas actuellement de réponses. Voulez-vous améliorer cette question? Mettez à jour la question pour qu'elle se concentre sur un seul problème en modifiant ce post . Fermé il y a 2 ans . J'ai passé quelques mois à essayer de comprendre les...

484
ng-repeat: filtrer par champ unique

J'ai une gamme de produits que je répète en utilisant ng-repeat et j'utilise <div ng-repeat="product in products | filter:by_colour"> pour filtrer ces produits par couleur. Le filtre fonctionne mais si le nom / description du produit, etc. contient la couleur, le produit reste après...