I made some changes to the color scheme of gnome-terminal and renamed the profile. Is there any config/profile file somewhere which I can backup for future use (in case I ever need to reinstall)? I’m not sure I can replicate these colors again, if I have to make them again.
Edit: by Murphy’s law I found the solution just a couple of hours after I posted this question. So here’s how:
https://www.linux.org/threads/how-to-save-your-color-scheme-in-gnome-terminal.39893/