Yuumi

“prank” a vim user. You mean make it normal?

still, cool nonetheless

Gnome is a desktop environment for Linux. It does not come with gnome out of the box and needs to be installed by the user as it is a extension.

many programs don’t offer a gui so I’m forced to use it.

HAHAHAHA GOOD LUCK! I’m in my final year of my EE study and I cannot wait to escape this mental asylum

YES THERE IS, THERE IS A TOOL FOR LINUX THAT TURNS KEYWORDS INTO WHATEVER YOU WANT THEM TO BE, I just need to find it again so hold on FOUND IT, IT’S https://espanso.org/

If you plan on using windows only for games and absolutely nothing else then there isn’t much of a point in making a shared partition between the two OS’es. Just keep them separate, to each partition its own. (So your first example win 100gb, Linux 400gb is what I personally would go with)