Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

python rich package #37

Closed
marwern opened this issue Aug 1, 2023 · 0 comments
Closed

python rich package #37

marwern opened this issue Aug 1, 2023 · 0 comments
Assignees
@marwern
Labels
enhancement New feature or request

Comments

@marwern
Copy link
Owner

marwern commented Aug 1, 2023

use rich package to improve readability of CLI
@marwern marwern added the enhancement New feature or request label Aug 1, 2023
@marwern marwern self-assigned this Aug 1, 2023
plcrex pushed a commit that referenced this issue Aug 1, 2023
@marwern
#33 #37 activated docu and added rich package
0793285
plcrex pushed a commit that referenced this issue Aug 1, 2023
@marwern
#33 #37 activated docu and added rich package
41d685b
plcrex pushed a commit that referenced this issue Aug 3, 2023
@marwern
#33 #37 restructured doc
77e8789
plcrex pushed a commit that referenced this issue Aug 3, 2023
@marwern
#33 #37 changed sphinx-rtd-theme version
dcfcda7
plcrex pushed a commit that referenced this issue Aug 3, 2023
@marwern
#33 #37 updated rst2pdf version
a75d172
@marwern marwern closed this as completed Aug 6, 2023
plcrex pushed a commit that referenced this issue Sep 7, 2023
#37
3f35fc5
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@marwern marwern

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@marwern