Skip to content

Commit

Permalink
fix(docs): fixed location of developer tools in DEVELOPER.md docs
Browse files Browse the repository at this point in the history
Signed-off-by: Marcin Skalski <marcin.skalski@konghq.com>
  • Loading branch information
Automaat committed Sep 9, 2022
1 parent 4d09630 commit 7855af2
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions DEVELOPER.md
Original file line number Diff line number Diff line change
Expand Up @@ -41,9 +41,9 @@ make dev/tools

You can install each commands individually if you prefer.

ATTENTION: By default, development tools will be installed at `$HOME/bin`. Remember to include this directory into your `PATH`,
e.g. by adding `export PATH=$HOME/bin:$PATH` line to the `$HOME/.bashrc` file.
This can be overridden by setting the env var CI_TOOLS_DIR but it isn't recommended.
ATTENTION: By default, development tools will be installed at `$HOME/.kuma-dev/bin`. Remember to include this directory
into your `PATH`, e.g. by adding `export PATH=$HOME/.kuma-dev/bin:$PATH` line to the `$HOME/.bashrc` file or `$HOME/.zshrc` if using zsh.
This can be overridden by setting the env var CI_TOOLS_DIR, but it isn't recommended.

## Code checks

Expand Down

0 comments on commit 7855af2

Please sign in to comment.