Avec le tag OS
[Brève] Linux 3.0, un noyau sans révolution technique, mais avec du code Microsoft
Alors que l’on fête cette année les 20 ans de Linux, Linus Torvalds viens d’annoncer sur son compte Google+ la sortie de la dernière version du noyau, d’un laconique « 3.0 pushed out. ». Cette nouvelle mouture estampillé 3.0 s’annonce donc, mais sans grande révolution comme pourrait laisser penser la numérotation. Après 8 ans de noyau 2.6, un nouveau système de versionning … Lire la suite
Console2, un gestionnaire multi-onglets pour vos fenêtres DOS
Si les lignes de commandes rebutent les utilisateurs lambda d’un OS, elles n’en restent pas moins indispensables pour qui personnalise ou administre un peu les entrailles de celui-ci. Il existe de nombreux outils pour les systèmes d’exploitations Linux, Unix et MacOS, mais assez peu pour Windows, avec lequel il est encore nécessaire de se battre avec le CLI. Console2 … Lire la suite
[Etude] L’iPad (iOS) déjà plus utilisé que Linux !
Si 2010 a bien été l’année de quelque-chose, c’est celle des tablettes (ou ardoises) numériques. L’engouement pour ce nouveau type d’appareils ne s’est d’ailleurs pas démenti depuis quelques mois et les ventes sont toujours au top. Bien entendu, le grand gagnant de ce nouveau marché est sans conteste Apple, et son iPad déjà décliné en 2 versions. L’iPad ne cesse … Lire la suite
[Vidéo] Changer la taille du dock Unity d’Ubuntu
S’il y a bien une révolution dans la dernière version du système d’exploitation libre Ubuntu, c’est son interface graphique. L’abandon de Gnome au profit d’une surcouche propriétaire nommée Unity, entraperçue avec la version Netbook de la version précédente, modifie sensiblement l’utilisation de l’OS. Personnellement, je trouve cette barre trop grosse. Le dock et ses icônes sont proéminents. il existe une … Lire la suite
Burg, personnaliser l’interface multi-boot de Grub (Windows, MacOS, Linux)
Ceux qui ont un jour sauté le pas de Windows vers Linux connaissent bien l’utilitaire Grub, qui permet de créer des séquences de boot sur plusieurs OS dont Windows, Linux, … Cet utilitaire est très bien mais son interface est pour le moins austère. Burg est un logiciel qui permet de personnaliser l’écran de boot de Grub avec des … Lire la suite