Archives de catégorie : LINUX

Comment configurer la résolution de noms sur Linux Debian 8 (erreur « no servers could be reached » sans resolvconf)

Après l’installation d’une machine Linux Debian 8.6 sur une machine virtuelle hébergée, j’ai configuré le réseau manuellement – mais je n’ai pas eu d’accès complet au réseau : impossible de résoudre les noms de serveurs. Par exemple la commande nslookup échouait systématiquement:

nslookup www.replay-sdk.com
connection timed out ; no servers could be reached ;

Dans le fichier de configuration réseau, j’avais pourtant bien utilisé le mot clé dns-nameservers tel que défini dans la documentation officielle Debian:

https://wiki.debian.org/NetworkConfiguration#The_resolvconf_program

iface eth0 inet static
        ...
        # dns-* options are implemented by the resolvconf package, if installed
        dns-nameservers 213.186.33.99

Après quelques recherches, j’ai lu qu’il fallait absolument installer le programme resolv.conf pour pouvoir utiliser ce mot clé – bien que ce ne soit pas explicitement dit dans la documentation. J’ai donc installé resolvconf:

apt-get install resolvconf

Puis redémarré le réseau:

service networking restart

La résolution de noms s’est immédiatement mise à fonctionner:

nslookup www.replay-sdk.com

Server:         213.186.33.99
Address:        213.186.33.99#53

Non-authoritative answer:
www.replay-sdk.com      canonical name = replay-sdk.com.
Name:   replay-sdk.com
Address: 213.186.33.87

Le fichier de configuration /etc/resolv.conf avait bien été créé automatiquement à partir des noms de serveurs définis dans le fichier /etc/network/interfaces

 

Comment dépasser la résolution Full-HD avec un Raspberry Pi (HDMI mode 84 = 2048×1152 pixels)?

Lorsque vous connectez un Raspberry Pi à un écran dont la capacité dépasse le Full HD (1920×1080 pixels), ce dernier n’utilise pas automatiquement la plus haute résolution : il semble bridé par sa configuration… Il est toutefois possible de dépasser la résolution Full-HD et utiliser le mode HDMI 84, qui correspond à 2048×1152 pixels.

Comme décrit dans l’article « Comment corriger un problème de résolution sur un Raspberry Pi lorsqu’on le connecte avec un cable HDMI vers DVI?« , il est possible de forcer la résolution du RPi en modifiant le fichier de configuration /boot/config.txt en définissant les paramètres hdmi_group et hdmi_mode. En particulier, le mode HDMI 84 dépasse le Full-HD:

tvservice -d edid
...
edidparser edid | grep mode..84
HDMI:EDID DMT mode (84) 2048x1152p @ 60 Hz with pixel clock 162 MHz has a score of 166557

ATTENTION : n’utilisez pas un mode qui n’est pas compatible avec votre moniteur, vous risqueriez de l’endommager!

De plus, il ne suffit pas de modifier les deux paramètres hdmi_group et hdmi_mode, il faut également utiliser les deux paramètres non documentés max_framebuffer_width et max_framebuffer_height. Le fichier config.txt doit donc contenir:

hdmi_group=2
# EDID DMT mode (84) 2048x1152p
hdmi_mode=84

# UNDOCUMENTED PARAMETERS FOR GOING BEYOND FULL-HD
max_framebuffer_width=2048
max_framebuffer_height=1152

Ensuite, il suffit de redémarrer le Raspberry Pi. Pour vérifier que la résolution est correcte, voir l’article « Comment connaitre la résolution d’écran utilisée par un Raspberry Pi (xdpyinfo)?« .

Comment connaitre la résolution d’écran utilisée par un Raspberry Pi (xdpyinfo)?

Si vous avez un doute sur la résolution d’écran utilisée par votre Raspberry Pi, il est possible de connaitre la résolution utilisée avec la commande xdpyinfo et l’attribut dimensions:

xdpyinfo | grep dimensions

En Full-HD, la commande affichera:

 dimensions: 1920x1152 pixels (508x305 millimeters)

Si vous dépassez la résolution Full-HD en utilsant le mode HDMI 84 (voir l’article « Comment dépasser la résolution Full-HD avec un Raspberry Pi (HDMI mode 84 = 2048×1152 pixels)?« ), vous pourrez afficher:

dimensions:    2048x1152 pixels (542x305 millimeters)

Autre méthode: utiliser la commande tvservice avec l’option -s (show):

tvservice -s