gnome tweak tool

Gnome Tweak Tool, un outil pour personnaliser un peu Gnome 3

Si vous utilisez Gnome 3 (on a tous le droit d'essayer), alors vous serez sûrement ravi de rajouter un petit utilitaire qui vous permettra de vous donner quelques options de personnalisation toujours bonnes à [...]
gnome tweak tool

Google Plus : afficher seulement les cercles désirés dans sa timeline

Utiliser le réseau Google Plus au quotidien, et malgré des chiffres de fréquentations en fortes baisses ces derniers temps, est souvent un plaisir pour moi. Pourtant, comme l'a dit Steve Yegge, un ingénieur de [...]
gnome tweak tool

Comment brancher un routeur derrière la Freebox en mode routeur

Voilà un vaste sujet, qui a surtout l'intérêt de me faire marquer la procédure, (et de vous en faire profiter au passage), expliquant comment brancher un second routeur sur une freebox déjà en mode routeur. J'ai [...]
gnome tweak tool

Tester et expérimenter en live vos CSS avec Chome

Si vous êtes un développeur de page web, et que vous ne voulez pas vous embêter avec un site en local, mais que vous voulez déboguer et expérimenter de nouvelles couleurs ou un nouveau design avec votre feuille de [...]
gnome tweak tool

Afficher l'adresse complète dans Firefox (minimum 7)

Firefox 7 vient de sortir, et apporte son lot de nouvelles fonctionnalités, comme une rapidité largement accrue. Mais dans les détails, il en est une qui peut-être un vrai problème : celui de ne plus afficher le [...]
gnome tweak tool

iScanner, pour chercher des virus et malwares sur votre site

Même si vous développez vous-même votre blog ou surveillez la plupart des scripts qui vont avec, vous n'êtes jamais à l'abri d'un pirate. De plus, avec des moteurs de blog, comme WordPress, il est facile d'installer [...]