Archives: février 2014
3 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…
Linux: vérifier si votre SSD supporte la fonction TRIM
J'ai lu beaucoup d'articles visant à optimiser l'utilisation des disques SSD. La plupart parlent de la fonctionnalité TRIM mais nous devons d'abord nous assurer que notre SSD est compatible. Pour le savoir: $ sudo hdparm -I /dev/sda | grep TRIM Si la sortie ressemble à ce qui suit, notre SSD est…
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. Préférez var_dump à print_r car…