Jawaban:
Untuk sementara menambahkan parameter boot ke kernel:
linux
dan tambahkan parameter Anda foo=bar
ke ujungnya.
Untuk membuat perubahan ini permanen:
Dari terminal (atau setelah menekan Alt+ F2) jalankan:
gksudo gedit /etc/default/grub
(atau gunakan sudo nano
jika gksudo
atau gedit
tidak tersedia) dan masukkan kata sandi Anda.
Temukan baris yang dimulai dengan GRUB_CMDLINE_LINUX_DEFAULT
dan tambahkan foo=bar
sampai akhir. Sebagai contoh:
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash foo=bar"
Simpan file dan tutup editor.
Terakhir, mulai terminal dan jalankan:
sudo update-grub
untuk memperbarui file konfigurasi GRUB (Anda mungkin harus memasukkan kata sandi).
Pada reboot berikutnya, kernel harus dimulai dengan parameter boot. Untuk menghapusnya secara permanen, cukup hapus parameter dari GRUB_CMDLINE_LINUX_DEFAULT
dan jalankan sudo update-grub
lagi.
Untuk memverifikasi perubahan Anda, Anda dapat melihat dengan tepat parameter apa yang dibooting oleh kernel Anda dengan menjalankannya cat /proc/cmdline
.
Halaman Wiki:
gksudo
sudah tidak ada lagi di Ubuntu. Gunakan pkexec
sebagai gantinya.
Untuk menambahkan opsi kernel apa pun:
untuk sesi liveCD: ikuti langkah-langkah ini
untuk Instalasi yang ada: menggunakan Boot-Repair 's Add a kernel option
atau Edit GRUB configuration file
pilihan.
Lihat juga dokumentasi ini .
Atau, Anda juga dapat menggunakan grub-customizer :
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer
gksu grub-customizer &
Cukup buka entri boot, dan edit parameter kernelnya seperti yang disorot pada tangkapan layar di bawah ini:
cat /proc/cmdline