Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature request #7

Open
yuriw opened this issue Nov 12, 2023 · 2 comments
Open

Feature request #7

yuriw opened this issue Nov 12, 2023 · 2 comments

Comments

@yuriw
Copy link

yuriw commented Nov 12, 2023

Consider adding an ability to switch kernels.

@jordanhillis
Copy link
Owner

Hey @yuriw,

I like the idea but this would involve altering the GRUB_DEFAULT= line in the /etc/default/grub file.

Wouldn't just selecting the kernel from the menu be a safer and easier approach? Maybe I am misunderstanding your request.

@yuriw
Copy link
Author

yuriw commented Nov 13, 2023

I know that switching kernels is always a challenge for me

This tool seems to be well-positioned to address this. I think if it offers this option with dry-run and possible switch back it will be very useful.

Defer to you for consideration :)
Thx

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants