Comment rechercher récursivement tous les fichiers contenant "le_mot_FOUND" mais qui ne contiennent pas "le_mot_MISSING" ?
Mot-clé - git
dimanche, juin 14 2020
find grep fichiers dont le contenu contient la chaine mais ne contenant pas le mot
Par PlaceOweb le dimanche, juin 14 2020, 17:35 - Système
grep contain and not contain
Par PlaceOweb le dimanche, juin 14 2020, 17:34 - Système
How to find all files containing "yyy" and also not containing "zzz" for each files matching "yyy" ? Resolved with 2 grep.
lundi, avril 13 2020
dépôt gratuit de code source - free git private repository
Par PlaceOweb le lundi, avril 13 2020, 13:13 - Outils Internet
Vous chercher à faire une sauvegarde historisée de votre code, utilisez git et les services en ligne d'espace disque pour vos codes source versionné.
lundi, septembre 30 2019
Git remote changer la branche par defaut
Par PlaceOweb le lundi, septembre 30 2019, 18:22 - Système
Changer ou actualiser la branche remote par défaut :
$ git remote set-head origin -a
origin/HEAD set to integration
Git déplacer dossier ou répertoire et conserver son historique
Par PlaceOweb le lundi, septembre 30 2019, 18:22 - Système
Pour déplacer un dossier ou un répertoire et conserver son historique git, il ne suffit pas de faire un cliquer glisser ou renommer.
Avec un simple move "mv", git considère que le dossier est supprimé et qu'un nouveau est créé. Ainsi tout l'historique est perdu.
mv anciendossier nouveaudossier
git add nouveaudossier
git remove anciendossier
Il faut donc faire un git move "git mv" :
git mv anciendossier nouveaudossier
vendredi, septembre 2 2016
Remplacer les caractères spéciaux et accentuées dans un script bash.sh
Par PlaceOweb le vendredi, septembre 2 2016, 08:16 - Système
Afin de nommer correctement mes branches git, j'ai du remplacer les caractères spéciaux et accentuées à travers un script bash.sh sous le git bash windows.