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

handbook: add required domaintools python module #2

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

Villemoes
Copy link

I've started defining a custom "domain" allowing us to define various
syntactic elements, which is nice both for syntax highlighting, but also
for creating an index of e.g. common variables. But this requires a few
python modules provided via pip.

This also combines the apt-get update with the apt-get install commands,
which is apparently necessary and a common
gotcha (https://docs.docker.com/engine/userguide/eng-image/dockerfile_best-practices/).

I've started defining a custom "domain" allowing us to define various
syntactic elements, which is nice both for syntax highlighting, but also
for creating an index of e.g. common variables. But this requires a few
python modules provided via pip.

This also combines the apt-get update with the apt-get install commands,
which is apparently necessary and a common
gotcha (https://docs.docker.com/engine/userguide/eng-image/dockerfile_best-practices/).
@esben
Copy link

esben commented Nov 17, 2016

While at it, you should also combine the
rm -rf /var/lib/apt/lists/*
command to the apt-get commands. The apt-get clean should according to the link above not be needed.

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