diff options
| author |   Markos Chandras <mchandras@suse.de> | 2017-08-31 18:41:06 +0100 |
|---|---|---|
| committer | Markos Chandras <mchandras@suse.de> | 2017-09-16 10:30:55 +0100 |
| commit | fd28594a47af292d43352372f591174a6585eaad (patch) | |
| tree | 523029642362768ccf93568b8a0bfd106621b18e /xci/config | |
| parent | 9c2b6ae1f9eccec52c1a6e576e281606ea4a4936 (diff) | |
xci: Vagrantfile: Set $HOME/.local/bin to path
It appears that pip install --user puts files in .local/bin
which may not always be in $PATH.
Change-Id: Ifa9fb3ee448471a00986e7f6f51544a3e436c9e1
Signed-off-by: Markos Chandras <mchandras@suse.de>
Diffstat (limited to 'xci/config')
0 files changed, 0 insertions, 0 deletions