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

Local Install support #63

Merged
merged 6 commits into from
May 24, 2024
Merged

Local Install support #63

merged 6 commits into from
May 24, 2024

Conversation

qqmyers
Copy link
Member

@qqmyers qqmyers commented May 22, 2024

A script that can be run on any version to change all external js and css links to relative ones that reference downloaded copies. Building on the download script from @BenediktMeierUIT.

This is currently a draft. To go forward, I'd suggest we add instructions on how to generate a local copy using the script and perhaps add changing the example configuration curl commands to use whatever the local url will be so that it is easier to just cut/paste those.

If there's interest in providing a zip of the latest previewers, example configs, etc. for local install, we could look into creating real releases with that zip as a download (in addition to keeping the per version folders to support github.io access). (Could be a manual process or perhaps automated. Would be hard to modify the config examples for this though as we wouldn't know the final URL.)

@qqmyers qqmyers marked this pull request as ready for review May 24, 2024 18:59
@qqmyers
Copy link
Member Author

qqmyers commented May 24, 2024

Merging so other PRs can pick this up

@qqmyers qqmyers merged commit 5229ffc into develop May 24, 2024
1 check passed
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

Successfully merging this pull request may close these issues.

2 participants