Paramétrer Raspberry Pi OS
J'ai déployé l'image de Raspbian sur la carte microSD : Installer Raspberry Pi OS
Je démarre le Raspberry Pi sans écran ni clavier. Je vais procéder au paramétrage basique du Raspberry Pi.
Configuration réseau
Raspberry Pi OS utilise le service dhcpcd pour configurer toutes les interfaces réseau en TCP/IP. Ce service permet d'assigner pour chaque interface réseau une adresse IP, masque sous-réseau et passerelle, et la configuration de la résolution DNS.
Par défaut, Raspberry Pi OS essaie de configurer le réseau automatiquement par DHCP, et en cas d'échec il assigne une adresse IP privée dans la plage 169.254.0.0/16.
Il est possible de désactiver la configuration automatique pour l'une des interface réseau et de la signer de manière statique en modifiant le fichier /etc/dhcpcd.conf
. Par exemple :
interface eth0 static ip_address=192.168.42.4/24 static routers=192.168.42.254 static domain_name_servers=192.168.42.254 9.9.9.9
Configurer les langues
Lors d'une première installation du paquet locales sous Raspbian, les fichiers de définition des paramètres régionaux ne sont pas générées proprement ou sont fixés sur une valeur incorrectes. Il suffit de reconfigurer le paquet pour que tout rentre dans l'ordre.
dpkg-reconfigure locales
Ce menu à pour but la création des définitions des paramètres régionaux dans le fichier /etc/locale.gen
et positionner la variable LANG (et uniquement celle-ci).
Il est également possible d’enchaîner les commandes suivantes :
LOCALE=fr_FR.UTF-8 sudo sed -i 's/^# *\($LOCALE\)/\1/' /etc/locale.gen locale-gen --purge $LOCALE update-locale LANG=$LOCALE LANGUAGE=$LOCALE LC_ALL=$LOCALE
Voir l'article Setting default locale
Configurer la Timezone
Créer un administrateur
adduser
Créer un utilisateur dans le système suivant la configuration définie dans le fichier /etc/adduser.conf
.
La commande adduser
est utilisée sous Linux pour ajouter un nouvel utilisateur à un système. Lorsque cette commande est exécutée, elle effectue les tâches suivantes :
- Crée un nouveau compte utilisateur dans le système.
- Crée un nouveau répertoire personnel pour le nouvel utilisateur.
- Copie les fichiers de base dans le répertoire personnel du nouvel utilisateur.
- Définit les permissions sur le répertoire personnel pour que seul le nouvel utilisateur puisse y accéder.
- Ajoute le nouvel utilisateur à certains groupes du système (par exemple, le groupe sudo pour donner les droits d'administration).
- Demande à l'utilisateur de fournir un mot de passe pour son compte.
La commande adduser
est une commande plus conviviale que la commande useradd mais pas adaptée pour des scripts.
Créer un utilisateur
Pour créer un utilisateur , c'est la commande adduser
.
Par exemple :
sudo adduser cedric
On ajoute tous les droits en lui affectant les groupes suivants :
sudo usermod -a -G adm,dialout,cdrom,sudo,audio,video,plugdev,games,users,input,netdev,gpio,i2c,spi cedric
On s'identifie avec le compte cedric
, fraîchement créé.
su - cedric
Une fois terminé, on peut redémarrer :
sudo shutdown -r
Suppression du compte Pi
sudo deluser -remove-home pi
Connexion par clé SSH
Se connecter avec le compte utilisateur sur le Raspberry Pi :
ssh cedric@raspberrypi.acegrp.lan
Créer le dossier .ssh
de l’utilisateur :
mkdir .ssh
Retour sur votre poste de connexion / votre ordinateur.
Lister les clés actuelles :
$ ls -al ~/.ssh
Créer une nouvelle clé privée et publique. Si vous souhaiter utiliser clé existante, passez cette étape.
$ cd ~/.ssh $ ssh-keygen -t rsa -b 4096
Copier la clé publique vers le Raspberry Pi
$ cat ~/.ssh/id_rsa.pub | ssh cedric@raspberrypi.acegrp.lan 'cat >> ~/.ssh/authorized_keys'
Se connecter avec la clé SSH
$ ssh cedric@raspberrypi.acegrp.lan
Configurer l’accès ssh à Pi
1. Dans le fichier /etc/ssh/sshd_config
, option à activer :
# Authentification par mot de passe interdit PasswordAuthentification no
2. Redémarrer le service ssh :
sudo systemctl restart ssh
Changer le hostname
Je souhaite modifier le nom de l'ordinateur, fixé par défaut sur rasbperrypi
, par la valeur rpiweb001
.
1. Il y a deux possibilités
a/ Modifier le fichier /etc/hostname
avec le nom souhaité
b/ Exécuter la commande hostnamectl
1)
$ NEW_HOSTNAME=rpiweb001 $ sudo hostnamectl set-hostname $NEW_HOSTNAME
2. Modifier le nom dans le fichier /etc/hosts
$ CURRENT_HOSTNAME=raspberrypi $ NEW_HOSTNAME=rpiweb001 $ sudo sed -i "s/127.0.1.1.*$CURRENT_HOSTNAME/127.0.1.1\t$NEW_HOSTNAME/g" /etc/hosts
3. Redémarrer Raspbian
$ sudo systemctl reboot
Liens
Un assistant existe pour la configuration de Raspbian, il s'agit du programme raspi-config
. Suivant la version du Raspberry Pi, vous avez le choix dans les menus :
- La version est Raspberry Pi 3+, accéder au paramétrage raspi-config pour RaspberryPi 3+.
- La version est Raspberry Pi 3, accéder au parametrage_raspi-config_pour_raspberrypi_3
- La version est Raspberry Pi 2, accéder au parametrage-raspi-config-pour-raspberrypi-2
- La version est Raspberry Pi 1/1+, accéder au parametrage_raspi-config_pour_raspberrypi_1