Aller au contenu | Aller au menu | Aller à la recherche
dimanche, juin 14 2020
Par PlaceOweb le dimanche, juin 14 2020, 17:35 - Système
Comment rechercher récursivement tous les fichiers contenant "le_mot_FOUND" mais qui ne contiennent pas "le_mot_MISSING" ?
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
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
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 integrationPar 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 anciendossierIl faut donc faire un git move "git mv" :
git mv anciendossier nouveaudossiervendredi, septembre 2 2016
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.