Archives de catégorie : Français

Comment installer Debian Linux 8 « Jessie » sur un Mac Mini version 2.4

A titre d’expérimentation et pour me débarrasser d’OSX, j’ai procédé à l’installation de Linux Debian 8 sur un vieux Mac Mini (version 2.4):

  • Téléchargez Debian (version réseau « netinst » sur une clé USB), par exemple:
    http://gensho.acc.umu.se/cdimage/release/current/amd64/iso-cd/debian-8.5.0-amd64-netinst.iso
  • Branchez la clé USB Debian netinst
  • Branchez un cable ethernet (RJ45) avec un accès Internet (en DHCP c’est plus simple)
  • Branchez un clavier USB « PC »
  • Appuyez sur la touche Alt gauche (et gardez la appuyée pendant tout le démarrage)
  • Démarrez le Mac Mini
  • Sélectionnez le disque « EFI Boot« 

Et voilà – le programme d’installation de Debian se lance, il n’y a plus qu’à procéder à une installation normale.

Durant l’installation le programme vous propose d’installer un firmware « non-free » brcm brcm 43xx-0.fw : c’est inutile si vous avez branché votre Mac sur le réseau avec un cable ethernet ; l’installation du firmware peut être faite ultérieurement.

Après installation, il vous faudra installer le firmware Broadcom pour bénéficier d’un accès Wifi:

  • Ajoutez la source « non-free » (contrib non-free)  à votre fichier /etc/apt/sources.list
# Debian 8 "Jessie"
deb http://ftp.fr.debian.org/debian/ jessie main contrib non-free
deb-src http://ftp.fr.debian.org/debian/ jessie main contrib non-free
  • Mettez à jour le système (à exécuter en temps que super-utilisateur root et alors que le portable est connecté à Internet via sa carte réseau ethernet) :
# apt-get update
  • Installez le paquet firmware-brcm80211 (à exécuter en temps que super-utilisateur root et alors que le portable est connecté à Internet via sa carte réseau ethernet) :
# apt-get install firmware-brcm80211
  • Redémarrez le Mac Mini (à exécuter en temps que super-utilisateur root):
# shutdown -r now

Et voilà – votre Mac est enfin libre!

Références

Comment installer le réseau Wifi sur un PC Portable avec Linux Debian ?

Problème

Le système d’exploitation Linux Debian est très efficace mais également très strict en ce qui concerne les logiciels non-libres: il les tolère, mais uniquement si vous l’avez configuré pour cela. Lors d’une installation standard, les logiciels non « libre » ne sont pas autorisés : en particulier, les constructeurs de cartes réseau Wifi ne distribuant en général pas les codes sources de leurs pilotes, le système n’installe pas automatiquement ces pilotes. Il faut reconfigurer Linux puis procéder à l’installation des pilotes Wifi appropriés.

Solution

Configuration de apt-get pour autoriser les logiciels « non free »

  • Ajoutez la source « non-free » (contrib non-free)  à votre fichier /etc/apt/sources.list
# Debian 8 "Jessie"
deb http://ftp.fr.debian.org/debian/ jessie main contrib non-free
deb-src http://ftp.fr.debian.org/debian/ jessie main contrib non-free
  • Mettez à jour le système (à exécuter en temps que super-utilisateur root et alors que le portable est connecté à Internet via sa carte réseau ethernet) :
# apt-get update

Détecter les pilotes nécessaires

Pour détermine le nom du pilote matériel, il suffit d’exécuter la commande suivante:

dmesg | grep -i Wifi

[    1.666214] iwl4965: Intel(R) Wireless WiFi 4965 driver for Linux, in-tree:
[    1.666454] iwl4965 0000:0c:00.0: Detected Intel(R) Wireless WiFi Link 4965AGN, REV=0x4
[    1.721892] iwl4965 0000:0c:00.0: firmware: failed to load iwlwifi-4965-2.ucode (-2)
[    1.840071] iwl4965 0000:0c:00.0: request for firmware file 'iwlwifi-4965-2.ucode' failed.

Le pilote nécessaire à la connexion Wifi de mon PC portable est donc « iwlwifi-4965-2.ucode« . Il appartient au paquet iwlwifi (Périphériques sans fil Intel).

Installation des pilotes iwlwifi

  • Installez le paquet firmware-iwlwifi (à exécuter en temps que super-utilisateur root et alors que le portable est connecté à Internet via sa carte réseau ethernet) :
# apt-get install firmware-iwlwifi
  • Redémarrer le PC portable (à exécuter en temps que super-utilisateur root):
# shutdown -r now
  • Votre PC vous affichera désormais les réseau Wifi disponibles et vous pourrez configurer votre accès sans fil…

Références

Comment corriger un problème de résolution sur un Raspberry Pi lorsqu’on le connecte avec un cable HDMI vers DVI?

J’ai connecté mon Raspberry Pi sur un écran ne disposant que d’une prise DVI. Pour cela, j’ai utilisé un cable « HDMI vers DVI ». Lorsque le Pi a démarré, tout s’affichait avec une résolution très basse (gros menu très moche). Pour corriger le problème, il faut forcer le Pi a démarrer avec une résolution fixe (la détection de la résolution optimale ne fonctionnant pas).

  • Afficher les modes supportés par l’écran:
tvservice -d edid
 Written 256 bytes to edid
edidparser edid
 Enabling fuzzy format match...
 Parsing edid...
 HDMI:EDID version 1.3, 1 extensions, screen size 48x27 cm
 HDMI:EDID features - videodef 0x80 !standby !suspend active off; colour encoding:RGB444|YCbCr422; sRGB is not default colourspace; preferred format is native; does not support GTF
 HDMI:EDID found monitor range descriptor tag 0xfd
 HDMI:EDID monitor range offsets: V min=0, V max=0, H min=0, H max=0
 HDMI:EDID monitor range: vertical is 56-76 Hz, horizontal is 30-83 kHz, max pixel clock is 170 MHz
 HDMI:EDID monitor range does not support GTF
 HDMI:EDID found monitor name descriptor tag 0xfc
 HDMI:EDID monitor name is PL2209HD
 HDMI:EDID found monitor S/N descriptor tag 0xff
 HDMI:EDID found preferred CEA detail timing format: 1920x1080p @ 60 Hz (16)
 HDMI:EDID established timing I/II bytes are BF EF 00
 HDMI:EDID found DMT format: code 4, 640x480p @ 60 Hz in established timing I/II
 HDMI:EDID found DMT format: code 5, 640x480p @ 72 Hz in established timing I/II
 HDMI:EDID found DMT format: code 6, 640x480p @ 75 Hz in established timing I/II
 ...
 HDMI:EDID DMT mode (35) 1280x1024p @ 60 Hz with pixel clock 108 MHz has a score        of 103643
 HDMI:EDID DMT mode (36) 1280x1024p @ 75 Hz with pixel clock 135 MHz has a score        of 98304
 HDMI:EDID DMT mode (47) 1440x900p @ 60 Hz with pixel clock 106 MHz has a score o       f 102760
 HDMI:EDID DMT mode (48) 1440x900p @ 75 Hz with pixel clock 136 MHz has a score o       f 122200
 HDMI:EDID DMT mode (58) 1680x1050p @ 60 Hz with pixel clock 146 MHz has a score        of 130840
 HDMI:EDID DMT mode (82) 1920x1080p @ 60 Hz with pixel clock 148 MHz has a score        of 124416
 HDMI:EDID DMT mode (85) 1280x720p @ 60 Hz with pixel clock 74 MHz has a score of        55296
 HDMI:EDID preferred mode is updated to CEA (2) 720x480p @ 60 Hz with pixel clock        27027000 Hz
 HDMI:EDID has only DVI support and no audio support
 edid_parser exited with code 0
  • Choisir une résolution parmi la liste, par exemple DMT 82 pour du Full-HD
    • Si le mode est CEA, il faut utiliser hdmi_group=1
    • Si le mode est DMT, il faut utiliser hdmi_group=2
  • Modifier le fichier de configuration du Raspberry Pi en ajoutant hdmi_group et hdmi_mode
sudo nano /boot/config.txt
 ...
 # HDMI:EDID DMT mode (82) 1920x1080p @ 60 Hz with pixel clock 148 MHz has a score of 1
 # DMT Mode
 hdmi_group=2
 hdmi_mode=82
 Ctrl-X suivi de O pour sauvegarder
  • Redémarrer le Raspberry Pi:
sudo shutdown -r now

Références: