升级到 15.04 后，我需要有与正在运行的内核匹配的内核头（对于另一个包）。
升级安装了内核3.19.0-17。为了以防万一，我也安装了linux-headers-generic。然后，我运行sudo update-grub并重新启动。然而，系统启动到内核 3.16.0-31（经 证实uname -r）。
经过大量挖掘，我发现 GrUB 可以识别 3.19 内核update-grub，甚至将其填充到/boot/grub/menu.lst. 然而，在启动时，GrUB最多只能识别启动菜单中的 3.16 内核。 我该如何解决这个问题，以便 GrUB 可以启动到 3.19？
以下是我当前系统的一些输出。
sudo update-grub总是产生以下输出：
$ sudo update-grub
Searching for GRUB installation directory ... found: /boot/grub
Searching for default file ... found: /boot/grub/default
Testing for an existing GRUB menu.lst file ... found: /boot/grub/menu.lst
Searching for splash image ... none found, skipping ...
Found kernel: /boot/vmlinuz-3.19.0-17-generic
Found kernel: /boot/vmlinuz-3.16.0-31-generic
Found …如果你输入这个简单的测试命令：
gnome-terminal -x bash -c "ls;sleep 3"
您会发现它立即返回（新创建的终端，当然，逗留了三秒钟）。这与例如rxvt（相同的命令但带有e）形成对比。
如果你想要一个阻塞的开始，历史上的共识似乎是使用--disable-factory. 不幸的是，这不再起作用（在 3.14.2 中测试）。
那么，如何以非异步方式启动终端呢？
加分项：konsole，lxterminal，xfce4-terminal至少也有同样的问题。那些命令？