mirror of
https://github.com/zsh-users/zsh-completions.git
synced 2026-09-17 16:00:19 +00:00
[Vagrant] update box list completion
relocate `$HOME/.vagrant` to `$HOME/.vagrant.d` and use `$VAGRANT_HOME` if defined
This commit is contained in:
committed by
Matthieu Codron
parent
dae8cb844a
commit
090a9b0044
+1
-1
@@ -66,7 +66,7 @@ __task_list ()
|
||||
|
||||
__box_list ()
|
||||
{
|
||||
_wanted application expl 'command' compadd $(command ls -1 $HOME/.vagrant/boxes 2>/dev/null| sed -e 's/ /\\ /g')
|
||||
_wanted application expl 'command' compadd $(command ls -1 ${VAGRANT_HOME:-$HOME/.vagrant.d}/boxes 2>/dev/null| sed -e 's/ /\\ /g')
|
||||
}
|
||||
|
||||
__plugin_list ()
|
||||
|
||||
Reference in New Issue
Block a user