1
0
mirror of https://github.com/docker/cli.git synced 2026-01-06 05:41:44 +03:00

docs: add $ before HOME

Signed-off-by: Antonio Murdaca <runcom@redhat.com>
This commit is contained in:
Antonio Murdaca
2016-03-12 14:11:01 +01:00
committed by Tibor Vass
parent 02a1c138d0
commit d437e32541
3 changed files with 3 additions and 3 deletions

View File

@@ -67,7 +67,7 @@ variables.
## Configuration files
By default, the Docker command line stores its configuration files in a
directory called `.docker` within your `HOME` directory. However, you can
directory called `.docker` within your `$HOME` directory. However, you can
specify a different location via the `DOCKER_CONFIG` environment variable
or the `--config` command line option. If both are specified, then the
`--config` option overrides the `DOCKER_CONFIG` environment variable.

View File

@@ -57,7 +57,7 @@ you can download them from:
### Usage
You need to speficy the credentials store in `HOME/.docker/config.json`
You need to speficy the credentials store in `$HOME/.docker/config.json`
to tell the docker engine to use it:
```json

View File

@@ -7,7 +7,7 @@ HOME/.docker/config.json - Default Docker configuration file
# INTRODUCTION
By default, the Docker command line stores its configuration files in a
directory called `.docker` within your `HOME` directory. Docker manages most of
directory called `.docker` within your `$HOME` directory. Docker manages most of
the files in the configuration directory and you should not modify them.
However, you *can modify* the `config.json` file to control certain aspects of
how the `docker` command behaves.