EN FR

11 articles

Git: push/pull une nouvelle branche vers/d'un dépôt distant

Pour "pousser" (push) la branche nouvelle_branche vers le dépôt distant origin:

$ git push -u origin nouvelle_branche

L'option -u, équivalente à --set-upstream, indique à Git de suivre cette branche, nous permettant ainsi de récupérer automatiquement les futurs commits effectués en amont via un simple git pull.

Pour récupérer (pull) la b [...] Afficher la suite de l'article

PHP: rediriger la sortie de var_dump vers un fichier de log

Je viens juste de rencontrer un bug en production que je ne parviens pas à reproduire en développement. Afin de tenter de le tracer sans gêner les utilisateurs, j'ai utilisé le bout de code suivant pour écrire la sortie de var_dump directement dans un fichier de log.

ob_start();
var_dump($nomDeVariable);
$contenu = ob_get_contents();
ob_end_clean();
fonctionDeLog($contenu);

[...] Afficher la suite de l'article

Git: cesser de suivre des fichiers sans les supprimer

$ git rm --cached motif

"motif" peut être remplacé par un nom de fichier ou un sélecteur comme nomDuDossier/* pour sélectionner tous les fichiers présents dans le dossier appelé "nomDuDossier".

Précédent

"Upgrade to Firefox" bannerSupport La Quadrature du Net!Soutenir FramasoftSupport the Gooseberry project, Blender Foundation's 5th Open Movie project