In particular, they have a console.log function that we should use for all the user-facing messages, rather than using python's inbuilt logging library.
Figuring out how to do logging is a little annoying. The user needs to be able to control and filter the logs that hitsave generates, so we should use logging. But in the terminal, if the user is using us interactively we should show the prettiest logs that we can.
rich
has all of the cool features and is A-list.In particular, they have a
console.log
function that we should use for all the user-facing messages, rather than using python's inbuiltlogging
library. Figuring out how to do logging is a little annoying. The user needs to be able to control and filter the logs that hitsave generates, so we should use logging. But in the terminal, if the user is using us interactively we should show the prettiest logs that we can.