[gull] debian> installation

[Philippe Ney]

> Comment procéder?
> -prendre un noyau `.deb' plus récent? mais ou et lequel, car il semble 
> que la recherche de `.deb' sous http://www.debian.org/distrib/packages 
> soit impossible temporairement

Si jamais, juste pour ce partie là, tu peux utiliser apt-cache qui va se
baser sur le dernier apt-get update que tu avais fait.
Ce qui est beaucoup plus rapide que de passer par le site de debian qui
est effectivement assez souvent surchargé.

# apt-cache search kernel

Philippe