recordmydesktop pas de son

Le logiciel recordmydesktop n'est plus actif depuis 2010. Cependant, vu les deux fois par ans où je l'utilise, il m'est largement suffisant.
Cependant, il peut arriver que le son ne soit pas enregistré lors d'un enregistrement.
Pour y remédier, installer pavucontrol. Dans la section "Périphériques d'entrée", il faut choisir "Tous les périphériques".

Changer de clavier

Le défi du jour : changer de clavier en ligne de commande. Fort utile sur un serveur configuré en clavier us.
C'est simple :

sudo loadkeys be

Changer d'adresse ip

Voici une utilisation du paquet ifconfig qui permet de changer d'adresse ip en une ligne :

sudo ifconfig eth0 192.168.1.234 netmask 255.255.255.0 up