Eu estou supondo que isto é o que você está instalando.
O problema é que você precisa especificar a versão do linux-headers para instalar. Se você executar apt-cache search linux-headers
, verá que existem muitas versões diferentes. Para instalar a versão correta, execute
sudo apt-get install linux-headers-$(uname -r)
Isso instalará automaticamente os cabeçalhos do Linux para o seu sistema em particular. Depois desse ponto, o resto dos comandos ( make
, etc) deve funcionar bem.
E quanto a copiar / colar no terminal versus em outro lugar: Ctrl + Deslocamento + C copia o texto que você selecionou no terminal, enquanto Ctrl + C copia o texto selecionado em outro lugar (por exemplo, Firefox / Chrome). Da mesma forma, use Ctrl + Deslocamento + V para colar no terminal e Ctrl + V para colar em outro lugar.