On Wednesday, July 13, 2016 at 10:11:56 PM UTC+2, William Hermans wrote: > > The traditional Debian way, you use APT. Something like . . . > > *william@beaglebone:~/dev$ apt-cache search linux-image | grep 4.1.15-bone* > linux-image-4.1.15-bone-rt-r17 - Linux kernel, version 4.1.15-bone-rt-r17 > linux-image-4.1.15-bone-rt-r18 - Linux kernel, version 4.1.15-bone-rt-r18 > linux-image-4.1.15-bone17 - Linux kernel, version 4.1.15-bone17 > linux-image-4.1.15-bone18 - Linux kernel, version 4.1.15-bone18 > > *william@beaglebone:~/dev$ sudo apt-get install > linux-image-4.1.15-bone-rt-r18* >
Well, I used apt-get install. I traced back the command entered when examining .bash_history: *# sudo apt-get install linux-image-4.1.15-bone-rt-r18 * -- For more options, visit http://beagleboard.org/discuss --- You received this message because you are subscribed to the Google Groups "BeagleBoard" group. To unsubscribe from this group and stop receiving emails from it, send an email to beagleboard+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/beagleboard/c473954b-b97c-45ed-8a1d-a7347b23dc7d%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.