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

Watch extension directories and restart extensions when extensions are added #437

Closed
tjcouch-sil opened this issue Sep 22, 2023 · 1 comment · Fixed by #603
Closed

Watch extension directories and restart extensions when extensions are added #437

tjcouch-sil opened this issue Sep 22, 2023 · 1 comment · Fixed by #603
Assignees
@jolierabideau
Labels
extensions team Able to be worked on by extensions team
Milestone
2023-11 Tech Demo

Comments

@tjcouch-sil
Copy link
Member

tjcouch-sil commented Sep 22, 2023 •
edited
Loading

As a user, I want to be able to add or remove extensions in the extensions folder and see the change reflected in Platform.Bible while it's running so I have a smooth experience playing with extensions.

We should improve the watchForExtensionChanges function to restart extensions when a new folder or extension zip gets added to the extension directories.

Glenn would like to see this if it is possible to do by tech demo.
@tjcouch-sil tjcouch-sil converted this from a draft issue Sep 22, 2023
@tjcouch-sil tjcouch-sil added this to the Tech Demo milestone Sep 22, 2023
@tjcouch-sil tjcouch-sil moved this to Open in Paranext Sep 22, 2023
@GlennPruitt GlennPruitt moved this from Open to Product Backlog in Paranext Sep 27, 2023
@katherinejensen00 katherinejensen00 added the extensions team Able to be worked on by extensions team label Oct 2, 2023
@katherinejensen00 katherinejensen00 changed the title Watch extension directories and restart extensions when extensions are added/removed Watch extension directories and restart extensions when extensions are added Oct 18, 2023
@katherinejensen00
Copy link
Contributor

This is timeboxed to a medium.

@tjcouch-sil tjcouch-sil moved this from Product Backlog to 🔖 ToDo in Paranext Oct 18, 2023
@jolierabideau jolierabideau self-assigned this Oct 25, 2023
@jolierabideau jolierabideau moved this from 🔖 ToDo to 🏗 In progress in Paranext Oct 25, 2023
@jolierabideau jolierabideau linked a pull request Oct 30, 2023 that will close this issue
437 Restart extensions when extensions are added #603
Merged
@jolierabideau jolierabideau moved this from 🏗 In progress to 👀 In review in Paranext Oct 30, 2023
@github-project-automation github-project-automation bot moved this from 👀 In review to ✅ Done in Paranext Oct 30, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jolierabideau jolierabideau

Labels
extensions team Able to be worked on by extensions team
Projects
Paranext
Status: ✅ Done
Milestone
2023-11 Tech Demo
Development

Successfully merging a pull request may close this issue.

437 Restart extensions when extensions are added paranext/paranext-core
3 participants
@katherinejensen00 @tjcouch-sil @jolierabideau