search

Duckapple / Kat

Kattis shell for getting examples, testing and submitting.
18 stars 6 forks source link

Add default command #32

Open Jakobis opened 4 years ago

Jakobis commented 4 years ago

Add command to indicate that you would like to use a command with default parameters specified in a config file somewhere

Jakobis commented 2 years ago

Isn't this already done?

Duckapple commented 2 years ago

In some sense yes, the problem is that it is not currently possible to then disable those default parameters again besides removing them from the config. I guess that could be made a separate enhancement, closing this one in the process.