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.

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

Install custom themes and plugins #170

Open
n3pjk opened this issue Jul 30, 2023 · 0 comments
Open

Install custom themes and plugins #170

n3pjk opened this issue Jul 30, 2023 · 0 comments

Comments

@n3pjk
Copy link

n3pjk commented Jul 30, 2023

Specify custom themes in a 'themes' list and custom plugins in a 'plugins' list, each item having a 'name' and 'source' identifying its Git repo. Install the custom theme if a user has it named as their 'theme'. Install custom plugins if they are listed by name in a user's plugins list. I will have a PR ready shortly to address these features.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant