Rédigé par Marion Brookes - Contenu sponsorisé -
-
Aucun commentaire
On n’y pense pas forcément, mais la qualité sonore d'un lecteur MP3 tient en réalité beaucoup plus à ses écouteurs qu'à ses composants électroniques. La plupart des baladeurs audio ont désormais une fabrication quasi similaire, ce qui vise à réduire les différences de composants et de qualité entre les marques. Cependant, la qualité des écouteurs qui sont livrés avec un lecteur peuvent varier énormément et sont très souvent bien médiocre.
Les libristes l'ont rêvé, Mozilla la fait, en commercialisant un smartphone grand public qui utilise un système d'exploitation libre, Firefox OS. Que vaut cette alternative à Android et IOS, et à qui s'adresse-t-elle ?
Après un upgrade du VPS qui héberge ce blog, j'ai pu bénéficier d'un espace disque plus important. Cependant le partitionnement, lui, n'a pas changé. Ne pouvant pas redémarrer mon VPS sur un live CD du type GParted, j'ai dû étendre ma partition alors que le disque était monté.
Avec la sortie d'Ubuntu 14.04 le 17 avril dernier, j'ai voulu mettre à jour mes ordinateurs qui tournaient sur Ubuntu 13.10. Aucun problème pour mon PC de bureau, mais sur le portable, ce ne fut pas une mince affaire. Je vous explique pourquoi et comment j'ai résolu le problème.
N'étant pas un grand fan du WYSIWYG, j'ai commencé à écrire des documents en LateX, sous un simple éditeur de texte, du type gEdit ou SublimeText, et un terminal avec la commande qui va bien pour construire mon PDF. Puis j'ai découvert Gummi, un éditeur LateX qui affiche en temps réel une preview du document final.