NOTE: CE TUTO EST RENDU OBSOLETE PAR UBUNTU 20.04

Les drivers RealTek sont maintenant intégrés au noyau, et l'ancien repo Git avec le code source a disparu. Il faut donc upgrader son système !

En cas de souci sur la 20.04+ avec une ancienne installation (les exemples ci-dessous se réfèrent à ma carte rtl8723be, voir plus bas dans l'ancien tuto comment détecter le modèle de la votre, et remplacer "rtl8723be" par la bonne valeur dans les commandes):
- Supprimer l'ancienne configuration, s'il y en a une. Exemple:
$ sudo mv /etc/modprobe.d/rtl8723be.conf /tmp
- Recharger le driver. Exemple:
$ sudo modprobe -r rtl8723be
$ sudo modprobe rtl8723be

Ci-dessous, l'ancien article, au cas où... Certains conseils de configuration peuvent encore servir !
===========================================================

Heureux propriétaire d'un beau PC portable HP 15-ba008nf, j'y ai installé un Linux Ubuntu 18.04.

Tout allait bien jusqu'à ce que j'essaie de me connecter au Wifi : impossible ! Et comme c'est une vraie galère (pour faire court : la carte RealTek du PC n'est pas supportée par défaut dans le système, donc vous pouvez toujours batailler), ci-dessous la solution :

D'abord, s'assurer que le "secure boot" est désactivé (dans la configuration du BIOS : chercher de la doc sur le web). Pas certain que ce soit nécessaire, en fait, mais on le conseille partout si problème de Wifi, alors pas besoin de se compliquer encore la vie.

Ensuite, vérifier quelle carte on a :
lspci -nn | grep -i net

Sur mon HP 15-ba008nf, çà retourne :

02:00.0 Network controller 0280: Realtek Semiconductor Co., Ltd. RTL8723BE PCIe Wireless Network Adapter 10ec:b723
03:00.0 Ethernet controller 0200: Realtek Semiconductor Co., Ltd. RTL8101/2/6E PCI Express Fast/Gigabit Ethernet controller 10ec:8136 (rev 07)

La carte wifi est donc une RealTek RTL8723BE .

Il faut installer les modules à la main (il y a plein de modules Realtek, donc si votre carte est plutôt une rtl8192ce ou rtl8821ae par exemple, çà risque de marcher aussi... remplacer le nom du module, dans les commandes ci-dessous, par le votre).

D'abord, installer l'environnement de dev :
sudo apt-get install git
sudo apt-get install linux-headers-generic build-essential dkms git

Ensuite, télécharger et compiler/installer les modules :
git clone https://github.com/lwfinger/rtlwifi_new.git
cd rtlwifi_new/
make all
sudo make install

Enfin, charger le module dans le système :
sudo modprobe rtl8723be

A partir de là, çà doit marcher !
Si çà rame (faible débit), il faut sélectionner la bonne antenne (il y en a 2).

Pour essayer l'antenne 2, par exemple :
sudo modprobe -r rtl8723be
sudo modprobe rtl8723be ant_sel=2
(note : ant_sel=1 pour la 1, toujours faire "modprobe -r" avant pour supprimer le module).

Et si çà va plus vite, conserver la configuration. Exemple, pour l'antenne 2 :
echo "options rtl8723be ant_sel=2" | sudo tee -a /etc/modprobe.d/rtl8723be.conf

Voilà... Facile, non ?