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 ?