Catégorie : Sytèmes d’exploitation

  • Using PARI/GP in C++

    I wanted to use PARI/GP in a C++ code and be able to compile the project with CMake. Installing the library On some distributions, there is a package for the PARI library. Ubuntu & co: libpari-dev Fedora: pari-devel If this does not work, you can install the library manually: Download the latest version of the […]

  • Convert PDF to HTML with pdf2htmlEX on Ubuntu/Mint/…

    I just discovered pdf2htmlEX which is a program to covert PDF files to HTML. The result is pretty nice as shown here: https://github.com/coolwanglu/pdf2htmlEX Building pdf2htmlEX on Ubuntu/Mint is not so easy if one has not the last version of Ubuntu (for example if your are on the previous LTS). Here are the main steps. Add […]

  • Theme Photoshop pour Gimp

    S’il y a bien un logiciel que je n’ai jamais réussi à prendre en main (et c’est pas faute d’avoir essayé), c’est Gimp. Je trouve l’interface peu claire, mal foutue, peu ergonomique, etc, etc, etc. Il existe un thème qui fait ressembler Gimp à Photoshop, ici: http://www.elementaryos-fr.org/transformer-gimp-en-photoshop/ J’aime! S’il y a bien un logiciel que […]

  • Tiny Tiny RSS et mise à jour des feeds

    Je viens d’installer Tiny Tiny RSS (ttrss pour les intimes) sur un serveur Ubuntu et j’ai eu un peu de difficulté à déclencher les mises à jour automatiques des feeds. La doc officielle (http://tt-rss.org/redmine/projects/tt-rss/wiki/UpdatingFeeds) étant plus que sommaire (en gros « démmerdez-vous »), j’ai passé pas mal de temps sur le net. La solution est la suivante: […]

  • Deux distributions Linux et un seul bureau

    J’ai tendance à stocker pas mal de bordel documents sur mon bureau, en général pour les éléments que j’utilise au cours des derniers 4 mois de manière temporaire. Comme je viens d’installer Linux Mint, en parallèle à Ubuntu, je cherchais un moyen pour que les fichiers dans le dossier Bureau soient les mêmes. Voilà une […]

  • Monitoring de bande passante

    Il est parfois utile de monitorer la bande passante, par exemple quand la connexion internet est anormalement lente et qu’on cherche à savoir quel programme consomme quelle quantité de bande passante. Sous Windows 7, on peut le faire facilement via le moniteur de ressources. Sous Ubuntu, on peut utiliser nethogs. Il est dans les dépots […]

  • Raccourcis Ubuntu

    Petite liste de raccourcis clavier sous Ubuntu. N’hésitez pas à en suggérer si vous en connaissez d’autres! 🙂 Multi-bureaux ctrl + alt + flèche: navigation entre les bureaux super + s: affiche tous les bureaux (pour déplacer une fenêtre d’un bureau à l’autre) Multi-applications super + d: affiche le bureau super + w: affiche toutes […]

  • Steve Jobs

    Et….. oui! Je vais être une personne à mentionner la mort de Steve Jobs. Je vous rassure, ce n’est pas que j’étais sur une île sans électricité ces derniers temps et que je viens d’apprendre la nouvelle ; c’est juste que je souhaitais partager quelques liens. Je précise déjà que je ne souhaite pas lancer […]

  • Ce que je fais après avoir installé Ubuntu

    Le but de cet article est de présenter les petites choses que je fais après avoir installé Ubuntu. Deux buts à cela: Communiquer quelques astuces (c’est la partie louable) Me permettre de me rappeler les astuces trouvées au fil du temps (partie égoïste) L’idée m’est venue après être arrivé sur cet article. Système Tout mettre […]

  • Vérifier l’intégrité d’un dossier

    Lorsque l’on transfère un gros fichier, il peut être utile de vérifier son intégrité via md5sum. Lorsque l’on a affaire à un dossier, il est fastidieux de le faire manuellement pour chaque fichier. On a alors deux possibilités. 1) Script maison Enregistrez le code dans un fichier checkmd5.sh. L’utilisation se fait comme ceci: Le premier […]