Dica ao compilar kernel

Publicado por Perfil removido em 19/05/2009

[ Hits: 6.732 ]

 


Dica ao compilar kernel



Bom, eu sei que muitos aqui sabem compilar um kernel, mas tenho certeza que muitos aqui não sabem

Então é o seguinte:

Quando você digita "make", o processo mais demorado etc, fica com um medo danado de dar erro, bom, tem uma ferramenta muito boa que pode ser adaptada para verificar depois se ocorreu algum erro na compilação que alguns usuários desconhecem ou não pensaram em utilizá-la.

É um comando muito simples, quando eu vou compilar o kernel, ao invés de digitar:

# make

Eu digito:

# make | tee ~/errors.txt

Explicando:
  • "make" = comando para compilar o kernel;
  • "|" = pipe;
  • "tee" = comando para redirecionar o resultado do comando para um arquivo;
  • "~/errors.txt" = arquivo para onde serão redirecionadas todas as mensagens que aparecem na tela enquanto o kernel é compilado.

Depois que terminar a compilação, faça o seguinte:

# cat ~/errors.txt | grep -i err*

Se tiver acontecido algum erro e passou, irá aparecer e você poderá estudar mais calmamente.

Esse comando é muito útil para ser utilizado no dia-a-dia.

Bom, não sei se será útil para alguém, mas para mim ele é, e resolvi dar um exemplo de como utilizar fazendo algo que muita gente teme.

^^
Abraço a todos.

Outras dicas deste autor

Resolvendo problema do teclado após instalação do driver da Nvidia no Ubuntu 7.04

Anti-aliasing para todos os componentes Java

Gmanedit - Editando, criando e contribuindo com documentação

NCFTP - Upload recursivo via FTP em apenas uma linha

Teamviewer no CentOS, openSUSE e Ubuntu

Leitura recomendada

Congelamentos (freezing) do Debian Wheezy com Ivy Bridge - Atualização do kernel é uma possível solução

Instalando o Kernel Liquorix no Debian 10

Alterar o Kernel do Fedora para a última versão estável (2.6.39)

Desligando temporariamente os módulos que travam o kernel do OpenBSD

Problemas com kernel 3.1.0-1-amd64 + Xen + Debian Wheezy

  

Comentários
[1] Comentário enviado por VonNaturAustreVe em 23/05/2009 - 02:32h

boa dica :)

[2] Comentário enviado por igorx94 em 07/12/2009 - 11:52h

Gostei! Vou fazer bom proveito. :)



Contribuir com comentário




Patrocínio

Site hospedado pelo provedor RedeHost.
Linux banner

Destaques

Artigos

Dicas

Tópicos

Top 10 do mês

Scripts