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

vagrant: Forward port 9081 for documentation server #11292

Merged
merged 1 commit into from May 1, 2020

Conversation

michi-covalent
Copy link
Contributor

With this change you can run make render-docs from inside the Vagrant
VM and access http://localhost:9081/ from a browser. The render-docs
target is failing with this exception in my environment (Mac):

Exception occurred:
  File "/usr/local/lib/python3.7/site-packages/sphinx/application.py", line 365, in build
    os.unlink(envfile)
PermissionError: [Errno 13] Permission denied: '/src/Documentation/_build/doctrees/environment.pickle'

Also replace the tab with spaces in the line above.

Signed-off-by: Michi Mutsuzaki michi@isovalent.com

With this change you can run `make render-docs` from inside the Vagrant
VM and access http://localhost:9081/ from a browser. The `render-docs`
target is failing with this exception in my environment (Mac):
```
Exception occurred:
  File "/usr/local/lib/python3.7/site-packages/sphinx/application.py", line 365, in build
    os.unlink(envfile)
PermissionError: [Errno 13] Permission denied: '/src/Documentation/_build/doctrees/environment.pickle'
```

Also replace the tab with spaces in the line above.

Signed-off-by: Michi Mutsuzaki <michi@isovalent.com>
@michi-covalent michi-covalent added the release-note/misc This PR makes changes that have no direct user impact. label May 1, 2020
@michi-covalent michi-covalent requested a review from a team as a code owner May 1, 2020 17:38
@maintainer-s-little-helper maintainer-s-little-helper bot added this to In progress in 1.8.0 May 1, 2020
@joestringer joestringer merged commit 91052f5 into master May 1, 2020
1.8.0 automation moved this from In progress to Merged May 1, 2020
@joestringer joestringer deleted the pr/michi/docport branch May 1, 2020 17:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release-note/misc This PR makes changes that have no direct user impact.
Projects
No open projects
1.8.0
  
Merged
Development

Successfully merging this pull request may close these issues.

None yet

2 participants