Etendre une partition sur un disque monté

Rédigé par Pedro CADETE / 3 commentaires


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é.

Lire la suite de Etendre une partition sur un disque monté

Comment Nvidia Optimus a planté ma mise à jour d'Ubuntu 14.04 (MAJ)

Rédigé par Pedro CADETE / 8 commentaires


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.

Lire la suite de Comment Nvidia Optimus a planté ma mise à jour d'Ubuntu 14.04 (MAJ)

Gummi, un éditeur LateX pour les déçus du WYSIWYG

Rédigé par Pedro CADETE / 2 commentaires



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.

Lire la suite de Gummi, un éditeur LateX pour les déçus du WYSIWYG

P3ter.fr