Make it easier to switch between hosts (and accounts)

[avborup]

Currently, if you want to submit to itu.kattis.com instead of open.kattis.com, you need to manually edit the .kattisrc.

I suggest adding an optional profiles section to kitty.yml where you can define multiple .kattisrc files and names for them (or just avoid configuration and have multiple files like .kattisrc, .kattisrc.itu, etc). Kitty would then be extended with a new use command, so you can easily switch between accounts like kitty use itu. This also allows users to use multple accounts on the same host.

This would require some file in which kitty can save state.

[PatrickMatthiesen]

Couldn't it be done in the same file and have the kitty comment out and comment in the required sections?
That way no state is needed.

Or have the state in the .kattisrc file and have Kitty do a quick search and replace on a section of the file. Then it would only need to read that part if it exists and change behavior if needed.