Catégorie : Astuces

Bonjour, Dans cet article un mémento des commandes git les plus courantes, et quelques autres commandes bien utiles.Commandes principalesRécupérer un dépot gitgit clone <adresse_du_site>Ou: initialiser un dépôt git à partie d'un répertoire localgit initNote : il faudra ensuite ajouter le dépôt distant (voir commandes avancées).Envoyer ses modificationsSélection des modifications a ajouter : git add <fichiers_à_ajouter>Ajouter… Poursuivre la lecture Git : le memo

Bonjour !Alors voilà, depuis que j'ai fait l'acquisition de ma nouvelle carte graphique Nvidia Geforce GTX 750 ti (OC edition), j'avais un phénomène de "tearing" qui était très important lors du visionnage de vidéo, avec le pilote Nouveau (libre et installé par défaut). Sous Ubuntu (unity) j'avais résolu plus ou moins le problème en passant… Poursuivre la lecture Nvidia : Résoudre les problèmes de « tearing »

Bonjour, Si vous avez un serveur tournant sous Ubuntu 16.04, avec donc PHP7 et la version officielle de phpmyadmin (4.5.4), vous avez probablement vu ces messages sur phpmyadmin : Ils n'empêchent pas le fonctionnement de phpmyadmin, mais apparaissent à chaque action et à chaque fois on doit dire qu'on les ignore. De quoi bien nous… Poursuivre la lecture Warnings PHP7 + PhpMyAdmin