Simple way to rename GRUB2 entries
45437
how to tell GRUB to show the user preferred names of OS'es. Ubuntu 18.04
1694
How do I set the grub timeout and the grub default boot entry?
86011
Using rename to rename files and directories
40939
How do I customize the GRUB menu?
609
How do I rename a directory via the command line?
70848
How do I rename the extension for a bunch of files?
74199
Boot GRUB to entry not booted to last time?
93112
How to change long file names (created in linux) in windows?
137487
Any option to change Windows XP default Copy Here naming from "Copy of {name}.{ext}" to "{name}.{ext}.copy"
144896
How to rename a group of files with what looks like a Windows file path in their names
89083
Recursively rename files and directories
73114
How to rename a file in Terminal?
65350
Renaming a virtualenv folder without breaking it
16334
Rename default user directories
99254
How can I rename a git stash?
55683
Rename All Files with a Certain Name
64198
How to update grub on a dual boot machine?