Reword "Remove kernels..." to "Remove inactive kernels"
Nobody has claimed this yet.
Assessment
- Difficulty
- 1/5
- Estimated time
- Under an hour
- Newbie friendliness
- 65/100
Research direction
Search the codebase for the "Remove kernels" button label and inspect the surrounding installed-kernel management UI. Rename the label to "Remove inactive kernels" and verify that the displayed action clearly matches the kernels selected for removal.
Written by the indexing model from the issue text.
Description
Is your feature request related to a problem? Please describe.
When managing installed kernels, it's unclear what the "Remove kernels" button will do.
In fact what it will do is select all kernels that are Installed and Not Active and offer to remove them:
Describe the solution you'd like
It should be made more obvious what the button does. Either rename it to "Remove inactive kernels" or "Remove old kernels" would make it a lot clearer. The latter is not exactly accurate since I assume it will remove kernels newer than the active one if installed.
- Dominant language
- Python
- Stars
- 425
- Forks
- 190
- PR merge metrics
- No merged PRs in 30d
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from linuxmint/mintupdate
-
BUG
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
linuxmint/mintupdate#1089 ·
-
BUG
Difficulty 1/5 Under an hour Newbie friendliness 88/100
linuxmint/mintupdate#1062 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 74/100
linuxmint/mintupdate#1041 · 1 comment ·
-
Difficulty 1/5 Under an hour Newbie friendliness 65/100
linuxmint/mintupdate#903 ·
-
Difficulty 5/5 Over a week Newbie friendliness 20/100
linuxmint/mintupdate#1095 ·
All issues in linuxmint/mintupdate
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 82/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
-
enhancement
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 74/100