Kernel headers est bien installé:
rpm -ql kernel-headers 5.5.15-200 |grep kernel 1 ↵
/usr/include/linux/kernel-page-flags.h
/usr/include/linux/kernel.h
/usr/include/linux/kernelcapi.h
Donc j'applique bêtement la solution
sudo ./dkms-install.sh --kernelsourcedir /usr/include/linux/ 1 ↵
About to run dkms install steps...
Error! DKMS tree already contains: rtl8821CU-5.4.1
You cannot add the same module/version combo more than once.
Error! echo
Your kernel headers for kernel 5.5.15-200.fc31.x86_64 cannot be found at
/lib/modules/5.5.15-200.fc31.x86_64/build or /lib/modules/5.5.15-200.fc31.x86_64/source.
You can use the --kernelsourcedir option to tell DKMS where it's located.
Error! echo
Your kernel headers for kernel 5.5.15-200.fc31.x86_64 cannot be found at
/lib/modules/5.5.15-200.fc31.x86_64/build or /lib/modules/5.5.15-200.fc31.x86_64/source.
You can use the --kernelsourcedir option to tell DKMS where it's located.
Finished running dkms install steps.
Et nous voilà revenu au point de départ.
Je vais installer le kernel-devel et voir
Après je vais essayer sans dkms. (A l'ancienne)