Чтобы избежать использования каких-либо внешних программ, таких как cut или awk, вы можете сортировать строки операторов строки bash, например. если str="/somefolder/andsubfolder", тогда
str="${str##*/}"; echo "${str%.txt}"
удаляет первый компонент ведущего пути (самое длинное совпадение с префиксом */), то удаляет суффикс .txt (кратчайшее суффиксное соответствие *.txt)
[d2 ] Вы также можете сделатьstr="${str##*/}"; echo "${str%.*}"
, чтобы удалить любой единственный суффикс .* вместо .txt
На этой странице есть несколько способов придерживаться определенной версии ядра https://help.ubuntu.com/community/PinningHowto
Самый простой вариант - держать его
sudo apt-get hold linux-image-3.13
Вы также можете использовать Grub Customizer для выбора загрузочного ядра по умолчанию (без необходимости вручную нажать SHIFT и загрузить список GRUB).
http://ubuntuhandbook.org/index.php/2014/04/install-grub-customizer-ubuntu-1404/
General settings --> Default boot
.