Non essendo disponibile nei repository ufficiali seguiamo questi piccoli paesaggi per installarlo sui nostri sistemi operativi Linux.
PER SISTEMI OPERATIVI A 32 BIT scarichiamo nell'ordine questi pacchetti dal terminale:
wget kernel.ubuntu.com/~kernel-ppa/mainline/v3.13.7-trusty/linux-headers-3.13.7-031307_3.13.7-031307.201403240156_all.deb
wget kernel.ubuntu.com/~kernel-ppa/mainline/v3.13.7-trusty/linux-headers-3.13.7-031307-generic_3.13.7-031307.201403240156_i386.deb
wget kernel.ubuntu.com/~kernel-ppa/mainline/v3.13.7-trusty/linux-image-3.13.7-031307-generic_3.13.7-031307.201403240156_i386.debed installiamoli digitando questo comando:
sudo dpkg -i linux-headers-3.13*.deb linux-image-3.13*.deb
PER SISTEMI OPERATIVI A 64 BIT scarichiamo nell'ordine questi pacchetti dal terminale:
wget kernel.ubuntu.com/~kernel-ppa/mainline/v3.13.7-trusty/linux-headers-3.13.7-031307_3.13.7-031307.201403240156_all.deb
wget kernel.ubuntu.com/~kernel-ppa/mainline/v3.13.7-trusty/linux-headers-3.13.7-031307-generic_3.13.7-031307.201403240156_amd64.deb
wget kernel.ubuntu.com/~kernel-ppa/mainline/v3.13.7-trusty/linux-image-3.13.7-031307-generic_3.13.7-031307.201403240156_amd64.debed installiamoli digitando questo comando:
sudo dpkg -i linux-headers-3.13*.deb linux-image-3.13*.debFonte
Amministratore e autore del sito
Ingegnere nella vita e blogger per diletto, amo il mondo della tecnologia e tutto quello che grava intorno ad essa.
Ogni tanto amo divagare e approfondire argomenti di varia natura per aumentare le mie conoscenze e condividerle con tutti voi lettori.