J’en avais un peu marre de devoir aller chercher dans la documentation de youtube-dl, ou dans mon historique de ligne de commande à chaque fois que je veux extraire l’audio d’une vidéo téléchargée avec youtube-dl. Du coup, j’ai mis ça dans un petit script :

Continuer

Un petit post mémo pour rappeler comment créer une clé SSH, la copier sur le serveur distant, et se faciliter un poil la vie avec le fichier de configuration utilisateur de SSH. Depuis quelques années, j’utilisais l’algorithme RSA pour générer mes clés SSH (j’espère que vous avez banni DSA depuis longtemps, de toute façon, si vous avez un système récent et à jour, vous avez, normalement, openssh dans une version supérieure à 7, qui ne supporte plus DSA).

Continuer

Ça fait un moment que je me demandais (sans vraiment chercher) comment avoir des notifications sur le bureau avec irssi, comme le font les clients IRC graphiques tels que xchat ou polari par exemple. Mais dernièrement, le besoin s’est fait plus ressentir, devant pouvoir répondre à certaines personnes avec un délai suffisamment bref, sans être en permanence le nez sur la console où tourne mon irssi Je me suis inspiré pour cela de ce qui est proposé sur cette page, en l’adaptant à mon besoin étant donné que je ne fais pas tourner mon irssi sur un serveur distant en ce moment

Continuer