Configuration Duck DNS | GIF-3004 | Systèmes embarqués temps réel | Hiver 2020

Configuration de Duck DNS sur un Raspberry Pi du cours

Systèmes embarqués temps réel (GIF-3004)

Pour simplifier l’utilisation de votre Raspberry Pi (RPi) à la maison comme à l’université, voici l’information d’une configuration de DNS dynamique, faisant en sorte que le RPi sera accessible toujours avec le même nom symbolique de machine.

Pour ce faire connectez-vous à Duck DNS. Créez un nom pour votre RPi.

Cependant, cette information n’est pas adéquate dans le contexte qui nous intéresse, comme on veut utiliser les adresses locales pour se connecter au RPi directement. Pour ce faire, voici un script shell que vous pouvez copier dans /usr/local/bin/duckdns.sh sur votre RPi.

#!/bin/bash
DUCKDNS_LOCALIP=`hostname -I`
DUCKDNS_TOKEN=ECRIRE VOTRE TOKEN DUCKDNS ICI
DUCKDNS_DOMAINS=ECRIRE VOTRE DOMAINS DUCKDNS ICI
DUCKDNS_LOGFILE=/var/log/duckdns.log
echo url="https://www.duckdns.org/update?domains=$DUCKDNS_DOMAINS&token=$DUCKDNS_TOKEN&ip=$DUCKDNS_LOCALIP" | curl -k -o $DUCKDNS_LOGFILE -K -

Changez les permissions permettant l’exécution du script avec la commande sudo chmod +x /usr/local/bin/duckdns.sh.

Éditez ce fichier (avec nano) en changeant les variables DUCKDNS_TOKEN et DUCKDNS_DOMAINS par ceux que vous obtenez dans les instructions pour le RPi du site de Duck DNS (dans la commande commençant par echo url=, utilisez la valeur après domains= et token=). Ensuite, vous pouvez ajouter la ligne /usr/local/bin/duckdns.sh au fichier /etc/rc.local, juste avant exit 0. Redémarrer votre RPi, et vous devriez pouvoir vous y connecter en utilisant une adresse de type VOTREDOMAINE.duckdns.org.

Ressources et liens