Web/Tech
Serveur dédié : optimiser toutes les images GIF avec GIFsicle
Après avoir vu comment optimiser les fichiers JPG et PNG sur le serveur, voici comment optimiser les fichiers GIF. Comme …
Web/Tech
Après avoir vu comment optimiser les fichiers JPG et PNG sur le serveur, voici comment optimiser les fichiers GIF. Comme …
Web/Tech
J’ai récemment mis à jour mon article sur Rsync pour rapatrier quelques fichiers du serveur vers mon NAS Synology et …
WordPress
De temps en temps, je mets mes plugins WordPress sur le dépôt officiel mais j’utilise assez rarement subversion – connu …
Web/Tech
Pour les besoins du Centre de Kriya Yoga France, j’ai été amené à devoir convertir toute une floppée de fichiers …
Web/Tech
En vérifiant les logs de mon serveur mail, je me suis aperçu que, malgré mon certificat, la connexion du serveur …
Web/Tech
Hier soir, j’ai mis à jour le serveur : nous passons de Debian 7.8 (wheezy) à 8.0 (jessie). Tout s’est …
Web/Tech
Je viens de mettre à jour la version de PHP sur le serveur, histoire de tourner sur une version plus …
Web/Tech
J’ai récemment procédé à quelques tests sur le serveur et me suis rendu compte que l’adresse IP du serveur ne …
Web/Tech
Ce week-end, j’effectue quelques petites modifications sur les fichiers du serveur et, voulant annuler une faute de frappe, j’effectue un …
Web/Tech
Aujourd’hui, on s’intéresse à la mise à jour d’OpenSSL sur un serveur Debian, en utilisant les dépôts sid. Cela va …
Web/Tech
J’ai vraiment aimé jouer avec Varnish. Le problème, c’est qu’en passant l’intégralité du site en HTTPS, il m’est devenu inutile. …
Web/Tech
Après avoir mis à jour Ubuntu récemment, j’ai testé la nouvelle version d’Opera : Opera Developer qui s’adresse aux développeurs …