Journal de bord et autres pérégrinations de l’esprit
29 mai 2023 · Ailleurs
Je viens de découvrir la police d’écriture Times New Bastard. Elle est basée sur les polices Nimbus Roman No. 9 L et Nimbus Sans. Sa particularité : par défaut, ce sont des caractères avec empattement (sérif), mais tous les 7 caractères c’est un caractère sans empattement (sans sérif) qui est affiché. Extrêmement vicieux pour rendre fou n’importe qui !
24 mai 2023 · Astuces
Par hasard d’une combinaison involontaire de touches, j’ai réussi à faire une capture d’écran de ma Touch Bar. C’est le bandeau d’affichage tactile en haut du clavier de certains Mac.
Si vous souhaitez faire une capture d’écran de votre Touch Bar : il faut utiliser la combinaison des touches command + maj + 6 et la capture sera enregistrée sur votre bureau. Pas sûr que ce soit très utile cependant.
24 avr. 2023 · Photos
20 mars 2023 · Astuces
Vous avez généré un fichier PDF pour le mettre à disposition. Mais voilà, en inspectant les métadonnées associées, votre générateur a pris quelques libertés. Par exemple, si vous avez généré votre document PDF depuis Microsoft Word, ce dernier va préfixer le titre de votre document par « Microsoft Word ». Il est fort urbain, mais ce n’est pas du tout ce que l’on veut.
Grâce à l’utilitaire exiftool et la ligne de commande, voyons comment facilement modifier les propriétés d’un PDF pour obtenir de jolies métadonnées.
26 févr. 2023 · Astuces
On lit souvent l’abréviation « jan. », mais à tort : janvier s’abrège « janv. » ! Jusqu’à récemment, j’avais tendance à ne pas abréger correctement certains mois, par exemple janvier ou février…
Voyons donc quelles sont les abréviations des mois en français, si l’on veut respecter les usages de la typographie française.