avborup / avborup/kitty

Make it easier to switch between hosts (and accounts)

Open
#61 1 comment 1 reaction 0 assignees View on GitHub
enhancement
Dominant language
Rust
Stars
29
Forks
6
PR merge metrics
No merged PRs in 30d

Description

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.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.