Попробуйте rpm -ql kernel
. Вы увидите (не содержит файлов)
(возможно, несколько раз, если у вас установлено несколько ядер). Для последних нескольких выпусков это просто «метапакет», который включает в себя kernel-core
и kernel-modules
. Таким образом, вы можете просто установить kernel-core
, если все, что вам нужно, - это минимальное ядро для загрузки в виртуализированной среде.
Я не совсем уверен, как у вас установлен пакет kernel` без соответствующего
kernel-core`, но я почти уверен, что именно это является причиной того, что вы видите сейчас.
[Отредактировал вопрос, чтобы добавить эту информацию, но добавил его в качестве ответа, чтобы закрыть его. Мне до сих пор не ясно, почему в версии 12.04 используется обратная кавычка, но поскольку доступна более поздняя версия, этот вопрос кажется спорным.]
Мне сообщили, что я могу запустить более новую версию Ubuntu в среде Travis CI ( добавьте «dist: trusty» в .travis.yml
). Эта версия (16.04) использует одинарные кавычки Unicode (кодовая точка #x2018) в среде en_US.UTF-8 как для открывающих, так и для закрывающих кавычек в сообщении об ошибке; он использует апострофы ASCII в локали C - этого достаточно для моих целей.