Korben, roi d’internet, logo bébé avec des lunettes en mode thug life Korben, roi d’internet, logo bébé avec des lunettes en mode thug life

Korben Upgrade your mind

Réduire la consommation de mémoire de firefox

On connait les gros problemes de consommation de mémoire vive de firefox.
Le site cybernetnews.com a publié l’astuce suivante qui consiste a déplacer la mémoire utilisée par firefox sur le disque dur lorsque vous réduisez Firefox dans la barre des tâches.

Vraiment pratique pour eviter de surcharger la RAM lorsque vous minimisez Firefox. J’ai testé, ça fonctionne plutôt bien.
Il suffit donc de:

  1. Lancer Firefox et taper dans la barre d’adresse "about:config" et faire Entrée.
  2. Faites un clic droit sur la page des paramètre et faites New -> Boolean.
  3. Dans la fenêtre de saisie qui apparait, tapez "config.trim_on_minimize". Faites Entrée.
  4. Choisissez la valeur True de la clé et faites Entrée.
  5. Redémarrez Firefox.

Normalement, ca devrait le faire .
Si cela ne vous convient pas, retournez dans le panneau de config (about:config) et supprimez la clé "config.trim_on_minimize" précédemment crée, puis redemarrez Firefox.

 



PC Intel NUC Mini-PC Intel Core i3 i3-8109U 4 Go 256 Go

Barebone PC avec 8 % de réduction

Les mini PC Intel NUC sont entièrement équipés et prêts à l’emploi. Optimisé et configuré par Intel, ce système dispose d’une garantie de 3 ans et l’assistance clientèle de classe mondiale d’Intel pour une grande tranquillité d’esprit.

Au choix vous trouverez des configurations avec ou sans windows, vous laissant la liberté d’installer votre distribution Linux préférée.

En Savoir + sur ses caractéristiques



Installer le shell Bash (Linux) sous Windows 10

L’année dernière, ça ne vous a pas échappé, Bash a fait son apparition sous Windows 10. C’est pour moi, la meilleure chose qui soit arrivée à Windows depuis un moment, car ça permet de lancer des outils Linux et de développer ses propres scripts Shell directement sous Windows. Le pied !

Mais même si c’est parfaitement fonctionnel, il faut quand même…

Lire la suite


Plus de 60 idées pour votre Raspberry Pi

Nous sommes nombreux à nous être procuré un petit ordinateur Raspberry Pi pour nous lancer dans des projets de ouf malade… C’est très cool, mais à part le classique Media Center XBMC, qu’avez-vous fait avec votre Raspberry Pi ?

Si vous séchez niveau idées, voici une petite sélection…

Lire la suite


Une astuce pour rendre Windows 10 plus rapide

Si vous trouvez que Windows 10 est un peu lent, que vos applications ne se lancent pas très vite, que vos compilations prennent du temps, voici une petite astuce débusquée par Brominou pour accélérer le bouzin.

Cliquez dans la zone de recherche de la barre Windows et tapez le mot clé « Performances ». Puis cliquez sur « Régler l’apparence et les performances de Windows » …

Lire la suite


Changer d’adresse IP rapidement

Une petite astuce pour ceux qui ne connaissent pas. Comment changer d’adresse IP à la volée.
Il suffit d’en demander une nouvelle à son provider si celui-ci accepte les IP dynamiques. Pour vérifier que vos manipulation ont eu l’effet escompté, vérifiez quelle est votre adresse IP….

Lire la suite