Source 3.8.12 ou 3.8.13

[jb1]

ces fichiers sources se trouvent où?
rien dans /usr/src
ces noms étaient indiqués avec :
apt-get dist upgrade,
puis reboot et aptget update et upgrade
A+
JB1

[etxeberrizahar]

packages.debian.org/sid/linux-source-3.8

linux-source-3.8 (3.8.12-1)

Linux kernel source for version 3.8 with Debian patches

This package provides source code for the Linux kernel version 3.8. This source closely tracks official Linux kernel releases.

3.8* :
3.8.12 , 3.8.13, … la cible est mouvante. Elle dépend des publications des versions de linux …et des efforts des mainteneurs.

Contenu du paquet deb.
packages.debian.org/fr/sid/all/l … 8/filelist

/usr/share/doc/linux-source-3.8/README.Debian
/usr/share/doc/linux-source-3.8/changelog.Debian.gz
/usr/share/doc/linux-source-3.8/copyright
/usr/src/linux-patch-3.8-rt.patch.bz2
/usr/src/linux-source-3.8.tar.bz2

Le fichier que tu cherches est /usr/src/linux-source-3.8.tar.bz2.
/usr/src/linux-source-3.8.tar.bz2 de la version 3.8.12 a été simplement écrasé.

[jb1]

merci,
bon appétit
A+
JB1