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: