For unknown reasons I keep having to reset this.
Now, additionally, the only relevant Google result
leads to a GitHub issue that unfortunately points
to a file on the master
branch that has since been moved.
Here are the direct links to the files.
Note that this icon has been changed in a later version. The newer version seems to be slightly larger. I dislike it, so this is the original gear.
The file goes in /usr/share/cinnamon/theme/menu-symbolic.svg
:
$ sudo wget -O /usr/share/cinnamon/theme/menu-symbolic.svg \
https://raw.githubusercontent.com/linuxmint/Cinnamon/75779a61af570ae0e830a4093cb5414741956202/data/theme/menu-symbolic.svg
menu.svg
is the file name of the version linked to here.
The issue with the link to the broken version points to menu.svg
.
I experience that menu.svg
is the default icon
and the one the menu is configured to use.
If there is no reason to preserve the Mint logo,
substitute menu.svg
for menu-symbolic.svg
.
Otherwise, make sure to configure the menu to use the gear icon.