Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Antoine Martin
quickref
Commits
c1eba17d
Commit
c1eba17d
authored
Mar 17, 2018
by
Didier Verna
Browse files
Change the username to quickref in the Docker image.
Improve the README section on building them.
parent
0bd96463
Changes
2
Hide whitespace changes
Inline
Side-by-side
README.md
View file @
c1eba17d
...
...
@@ -44,7 +44,7 @@ sudo dockerd
When Quickref is done (this
*will*
take a while), you can extract the website
from the container by typing this:
```
docker cp quickref:~quick
builder
/quickref .
docker cp quickref:~quick
ref
/quickref .
```
The website will be located under
`quickref/website`
. You will also see a
...
...
@@ -93,9 +93,9 @@ separate images:
*
`Buildenv`
creates a Debian 8 image with all the dependencies needed to
buid the various Quicklisp libraries inside.
*
`Quickref`
builds on top of the
`Buildenv`
image to set up a
`quickbuilder`
user, pull the latest versions of Quickref and Declt, and
finally launch
Quickref.
*
`Quickref`
builds on top of the
`Buildenv`
image to set up a
`quickref`
user, pull the latest versions of Quickref and Declt, and
finally launch
Quickref.
With this 2-steps process, it is possible to rebuild the final Quickref image
with the latest Quicklisp without rebuilding the whole environment (including
...
...
@@ -106,20 +106,12 @@ the hundreds of dependencies installed from `apt`).
The two Quickref Docker images are created by typing respectively (and in that
order):
```
docker build -t quickref/buildenv -f Buildenv .
docker build -t quickref -f Quickref .
docker build -t
my
quickref/buildenv -f Buildenv .
docker build -t
my
quickref -f Quickref .
```
### Extracting the website
With
`docker ps -a`
, get the name/ID of your image. The output should look
like this (with a different name/ID for you):
Then, as before, run it and extract the result like this:
```
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
2b67991057f4 quickref "bash" 6 seconds ago Exited (0) 2 seconds ago sleepy_morse
```
Then, extract the website from the container just like with the official
image:
```
docker cp sleepy_morse:~quickbuilder/quickref .
docker run --name myquickref myquickref
docker cp myquickref:~quickref/quickref .
```
docker/Quickref
View file @
c1eba17d
FROM quickref/buildenv
# Quickref User
RUN useradd -m -s /bin/bash quick
builder
\
&& chown -R quick
builder:quickbuilder
/home/quick
builder
WORKDIR /home/quick
builder
USER quick
builder
RUN useradd -m -s /bin/bash quick
ref
\
&& chown -R quick
ref:quickref
/home/quick
ref
WORKDIR /home/quick
ref
USER quick
ref
# Common Lisp Packages
RUN mkdir common-lisp \
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment