Dica ao compilar kernel

Publicado por Perfil removido em 19/05/2009

[ Hits: 6.597 ]

 


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

Ubuntu - Instalando LXDE, XFCE, KDE e WM

Gravando imagem ISO com o Brasero (para iniciantes)

Mouse USB para de funcionar com pacote "laptop-mode-tools"

Instalando Cinnamon no Ubuntu 18.04 LTS

Configurando wireless Broadcom 43XX no Ubuntu 9.10

Leitura recomendada

Debian Squeeze com kernel 3.0.4

Placa de rede Intel gigabit (Marvell 88E8050)

Passos Rápidos - Compilação do Kernel

Desafio Linux (teste de segurança)

Removendo kernels antigos do Ubuntu

  

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