... but it's not in the Desktop folder, which lists other stuff that _is_ on the desktop.
Worse: the linux-header files in the /usr/src folder are old ones, and all the newer ones are nowhere to be found. Background: The lenovo T420 laptop has dual operating systems, both Triquel 7, with the second one on a separate, USB-connected 1TB hard drive. Just pprior to the present "event" I removed the old linux-headers files from the USB-attached file system and updated/upgraded that system with Software Updater. I did steps like sudo rm -r linux-headers-3.13.0-12*, followed by sudo rm -r linux-headers-3.13.0-11* and on down until nothing but linux-headers-3.13.0-139 and linux-headers-3.13.0-141 were left, all while the terminal was in the /usr/src directory. If I had been in the wrong directory while doing this and somehow took those files out of the laptop's internal hard drive, the ones I can see now, such as linux-headers-3.13.0-67, would have been removed, but they're present, and linux-headers-3.13.0-139 and linux-headers-3.13.0-141 are not on the laptops' internal hard drive. I cannot peek at the external hard drive's operating system, such as that hard drive's /usr/src directory, so I cannot fathom how the laptop's /usr/src directory got its clock turned back to another era. George Langford
