Sur Raspberry Pi

Modification des sources :

Brancher un clavier sur le Raspberry Pi,

Puis cliquer sur la touche "c",

Un menu apparait permettant de faire toutes les modifications que l'on souhaite.