Conversation

Notices

1. Ted Smith Ubuntu users

   When did /proc/config.gz get removed in !Ubuntu? Am I hallucinating that it was once there?

   Monday, 20-Sep-10 20:59:58 UTC from Gwibber at Washington, Washington, D.C., United States
   • set0s

     @teddks It is a kernel config setting. For me (10.10 "cat /boot/config-$(uname -r) | grep -i ikconfig" shows "# CONFIG_IKCONFIG is not set"

     Monday, 20-Sep-10 21:04:51 UTC
   • set0s

     @teddks For a kernel made by a distribution for users it isn't really needed

     Monday, 20-Sep-10 21:06:21 UTC
   • set0s

     @teddks You'd have to reenable this setting and compile a new kernel yourself, as you did not build your kernel yourself before.

     Monday, 20-Sep-10 21:09:44 UTC
   • Ted Smith Ubuntu users , set0s

     @set0s I am a !Ubuntu user and I want to know what the configuration of my kernel is.

     Monday, 20-Sep-10 21:13:16 UTC
   • set0s

     @teddks your current kernel config is found at /boot/config-$(uname -r), so there's no need for /prog/config.gz using a distribution kernel.

     Monday, 20-Sep-10 21:13:40 UTC
   • set0s

     @teddks "cat /boot/config-$(uname -r)" shows your config

     Monday, 20-Sep-10 21:14:35 UTC
   • set0s

     @teddks No need for two places the kernel config is stored

     Monday, 20-Sep-10 21:15:19 UTC
   • set0s

     @teddks This setting is only helpfull if you compile a kernel yourself. If not your config is stored besides the kernel itself

     Monday, 20-Sep-10 21:17:54 UTC
   • Manoj Iyer

     @teddks download the source from git and look in debain.master/configs look in wiki.ubuntu.com/Kernel for git tree

     Monday, 20-Sep-10 21:18:29 UTC
   • Steve Beattie

     @teddks: look at the contents of /boot/config-$(uname -r) ; it's the config for the currently running kernel.

     Monday, 20-Sep-10 21:21:36 UTC
   • set0s Manoj Iyer

     @manjo maybe "cat /boot/config-$(uname -r)" would be easier for him to get his (ubuntu and not debians) kernel config

     Monday, 20-Sep-10 21:22:17 UTC
   • Roman Yepishev

     @teddks: You might want to look in /boot/config-* for relevant entry for your running kernel - this does not make kernel bigger.

     Monday, 20-Sep-10 21:31:44 UTC