C’est quand même bien relou de devoir bidouiller la configuration de son Raspberry Pi à chaque fois qu’on veut booter sur un nouveau périphérique, …