Le pingouin de l'Oise

2011

28 février

Les dépendances

Sous Debian , l’installation d’un paquet .deb s’appuie sur d’autres paquets pour fonctionner correctement. apt-rdepends est un outil qui permet de lister les dépendances de manière récursive d’un paquet. Pour connaître les dépendances entre les paquets, il faut installer apt-rdepends : # apt install apt-rdepends Cela permettra de ne pas supprimer un paquet indispensable au …

lire la suite

2010

31 décembre

Pdftk

Il est possible de modifier les documents pdf, nous allons voir comment les protéger, les tranformer, les fusionner. Un seul outil à installer : pdftk # apt install pdftk Utilisation Pour expliquer, j’utilise deux fichiers PDF : la syntaxe du langage markdown et le reference Markdown. « Cryptage » d’un pdf (chiffrement serait plus juste) Avec cette commande, le fichier fichier.pdf …

lire la suite

30 octobre

Les tirets

Les machines à écrire traditionnelles ne permettaient la frappe que d’un type de tiret, le tiret court. Les claviers des ordinateurs permettent d’obtenir également des tirets longs (d’un demi-cadratin ou d’un cadratin), mais grâce à des combinaisons de touches, c’est-à-dire par une procédure plus complexe que celle permettant d’obtenir un trait d’union. …

lire la suite

29 octobre

Les majuscules

On nous apprend à l’école primaire qu’il faut mettre une majuscule aux noms propres et au début de la phrase. Cette règle simple comporte tout de même des difficultés d’application ; les mots composés, les dénominations, les toponymes, les titres de civilité nous posent problème. Les règles énoncées ci-après sont celles de l’imprimerie nationale de France. Les dénominations …

lire la suite

23 octobre

Enregistrer pour le Web avec Gimp

Le plugin Save for Web pour Gimp va vous proposer différentes extensions et niveaux de qualité, avec un aperçu de l’image et de sa taille à la manière de Photoshop. Il n’y a plus qu’à tester les différentes options et faire le bon choix. Pour installer Save for Web, vous pouvez utiliser Synaptic ou directement en ligne de commande dans le terminal : # apt install gimp-plugin-registry Dans Gimp, …

lire la suite

© 2018 - 90v3Z - L3 P1n90U1n - Propulsé par Hugo