mauro@Mauro:~$ ls /usr/src | grep 'linux-headers'
linux-headers-3.13.0-34
linux-headers-3.13.0-34-generic
linux-headers-3.13.0-35
linux-headers-3.13.0-35-generic
linux-headers-3.13.0-36
linux-headers-3.13.0-36-generic
linux-headers-3.13.0-37
linux-headers-3.13.0-37-generic
linux-headers-3.13.0-39
linux-headers-3.13.0-39-generic
linux-headers-3.13.0-40
linux-headers-3.13.0-40-generic
linux-headers-3.13.0-43
linux-headers-3.13.0-43-generic
linux-headers-3.13.0-44
linux-headers-3.13.0-44-generic
linux-headers-3.13.0-45
linux-headers-3.13.0-45-generic
linux-headers-3.13.0-46
linux-headers-3.13.0-46-generic
mauro@Mauro:~$ ^C
mauro@Mauro:~$
Saresti così gentile da indicarmi il comando per eliminare gli headers inutili?