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

how do the tools get updated #19

Open
samalloing opened this issue Jul 16, 2020 · 3 comments
Open

how do the tools get updated #19

samalloing opened this issue Jul 16, 2020 · 3 comments
Assignees
Labels
documentation Improvements or additions to documentation P2

Comments

@samalloing
Copy link

Hi @carlwilson (cc @aniamolenda)

How can the tools (jhove, verapdf,...) be updated without reloading vagrant?

Sam

@carlwilson
Copy link
Member

Short answer is to use vagrant provision but using the right portion of the playbook (just a single tool install) would also work. There needs to be good documentation here.

@samalloing
Copy link
Author

That is true, but user need to change the config file. I don't know if this is user friendly enough for the intended audience (not that I know who that is ;-)). There is no repository to install this software from I guess (like rpm based repositories)

@carlwilson carlwilson added documentation Improvements or additions to documentation P2 labels Dec 6, 2021
@carlwilson
Copy link
Member

carlwilson commented Dec 6, 2021

While we are keen to improve the documentation here to allow users to do this, we're unlikely to change the mechanism itself. We lack the resources to support custom distributions and the tool is aimed at technically inexperienced users who can't configure virtual environments. 4 hours.

@carlwilson carlwilson self-assigned this Mar 28, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation P2
Projects
None yet
Development

No branches or pull requests

2 participants