-
Notifications
You must be signed in to change notification settings - Fork 7
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
Restore man pages #65
Conversation
@@ -44,6 +44,8 @@ jobs: | |||
IMAGE_NAME: "cryointhecloud/cryo-hub-image" | |||
# Put repo contents in /srv/repo, so they aren't mangled when we put user home in /home/jovyan | |||
REPO_DIR: /srv/repo | |||
# Fix man pages that are disabled by Ubuntu 18 minimal base image |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
# Fix man pages that are disabled by Ubuntu 18 minimal base image |
This comment is probably redundant. Commit this suggestion if you agree :)
Just saw the message about image size, @MattF-NSIDC. I think additional 3GB could add 30s, maybe a minute to image pull performance. Unless man pages are being explicitly taught in the workshop, I would recommend against using |
We have been planning to teach man pages in the workshop. Does the image need to be pulled for every new node-share or only when a new node is being provisioned? Do you know of a less inflationary approach than |
The appendix file method was the only way I could find to successfully
unminimize
the minimal image and bring back man pages.EDIT: This brings total image size to 11.3 GB from 8.16GB.
unminimize
is probably bringing back more thanman
pages. Maybe there is a way we can restoreman
pages without using the fullunminimize
script?Resolves #63