nasri@ubuntu:~$ sudo apt-cache search linux-source
linux-source - Linux kernel source with Ubuntu patches
linux-source-3.13.0 - Linux kernel source for version 3.13.0 with Ubuntu patches
nasri@ubuntu:~$ cat /proc/version
Linux version 4.4.0-142-generic (buildd@lcy01-amd64-006) (gcc version 4.8.4 (Ubuntu 4.8.4-2ubuntu1~14.04.4) ) #168~14.04.1-Ubuntu SMP Sat Jan 19 11:26:28 UTC 2019
nasri@ubuntu:~$ uname -a
Linux ubuntu 4.4.0-142-generic #168~14.04.1-Ubuntu SMP Sat Jan 19 11:26:28 UTC 2019 x86_64 x86_64 x86_64 GNU/Linux
nasri@ubuntu:~$ 
sudo apt-cache search linux-source看到本机linux 内核源码是3.13的
但是用cat 和uname 命令看又是4.40的
在/user/src下面看linux-headers-4.4.0-142,linux-headers-4.4.0-142-generic到底目前内核版本是多少?
哪个3.13.0的到底是什么版本号。
我自己没有换过ubuntu 内核版本