diff options
| author | Robby Russell <robby@planetargon.com> | 2015-06-14 21:46:41 -0700 |
|---|---|---|
| committer | Robby Russell <robby@planetargon.com> | 2015-06-14 21:46:41 -0700 |
| commit | 78bbf7a6e52e7aabc82f22c43c9309a5f0ff1282 (patch) | |
| tree | 6a2a6374797c0f303a293cd17547349a617c7404 /plugins/mix-fast/mix-fast.plugin.zsh | |
| parent | 9eaf51107f15011f73b39fb727895f65797edcbc (diff) | |
| parent | a7e79824f85a89cbcacbceab0277c9833dee4817 (diff) | |
| download | zsh-78bbf7a6e52e7aabc82f22c43c9309a5f0ff1282.tar.gz zsh-78bbf7a6e52e7aabc82f22c43c9309a5f0ff1282.tar.bz2 zsh-78bbf7a6e52e7aabc82f22c43c9309a5f0ff1282.zip | |
Merge pull request #3809 from ncanceill/easymerge
Easy-to-Merge
Diffstat (limited to 'plugins/mix-fast/mix-fast.plugin.zsh')
| -rw-r--r-- | plugins/mix-fast/mix-fast.plugin.zsh | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/plugins/mix-fast/mix-fast.plugin.zsh b/plugins/mix-fast/mix-fast.plugin.zsh new file mode 100644 index 000000000..3719c3525 --- /dev/null +++ b/plugins/mix-fast/mix-fast.plugin.zsh @@ -0,0 +1,29 @@ +_mix_refresh () { + if [ -f .mix_tasks ]; then + rm .mix_tasks + fi + echo "Generating .mix_tasks..." > /dev/stderr + _mix_generate + cat .mix_tasks +} + +_mix_does_task_list_need_generating () { + [ ! -f .mix_tasks ]; +} + +_mix_generate () { + mix --help | grep -v 'iex -S' | tail -n +2 | cut -d " " -f 2 > .mix_tasks +} + +_mix () { + if [ -f mix.exs ]; then + if _mix_does_task_list_need_generating; then + echo "\nGenerating .mix_tasks..." > /dev/stderr + _mix_generate + fi + compadd `cat .mix_tasks` + fi +} + +compdef _mix mix +alias mix_refresh='_mix_refresh' |