Yes, I exactly. I used the following sentences:
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12-saucy/linux-headers-3.12.0-031200-generic_3.12.0-031200.201311031935_amd64.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12-saucy/linux-headers-3.12.0-031200_3.12.0-031200.201311031935_all.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12-saucy/linux-image-3.12.0-031200-generic_3.12.0-031200.201311031935_amd64.deb
sudo dpkg -i linux-headers-3.12.0-*.deb linux-image-3.12.0-*.deb
Yes, I exactly. I used the following sentences:
wget http:// kernel. ubuntu. com/~kernel- ppa/mainline/ v3.12-saucy/ linux-headers- 3.12.0- 031200- generic_ 3.12.0- 031200. 201311031935_ amd64.deb
wget http:// kernel. ubuntu. com/~kernel- ppa/mainline/ v3.12-saucy/ linux-headers- 3.12.0- 031200_ 3.12.0- 031200. 201311031935_ all.deb
wget http:// kernel. ubuntu. com/~kernel- ppa/mainline/ v3.12-saucy/ linux-image- 3.12.0- 031200- generic_ 3.12.0- 031200. 201311031935_ amd64.deb
sudo dpkg -i linux-headers- 3.12.0- *.deb linux-image- 3.12.0- *.deb