diff options
| author |   Biswakalyan Bhuyan <biswa@surgot.in>
| 2022-10-03 21:42:20 +0530 |
|---|---|---|
| committer | Biswakalyan Bhuyan <biswa@surgot.in>
| 2022-10-03 21:42:20 +0530 |
| commit | af120ab348f2e1a5a39dec035ed9dcf84189a64e (patch) | |
| tree | 2a3aadd7ce1b7b771dfe3fe7c983569726c8d7ed /zsh/oh-my-zsh/plugins/mix-fast/mix-fast.plugin.zsh | |
| download | dotfiles-af120ab348f2e1a5a39dec035ed9dcf84189a64e.tar.gz dotfiles-af120ab348f2e1a5a39dec035ed9dcf84189a64e.tar.bz2 dotfiles-af120ab348f2e1a5a39dec035ed9dcf84189a64e.zip | |
dotfiles
Diffstat (limited to 'zsh/oh-my-zsh/plugins/mix-fast/mix-fast.plugin.zsh')
| -rw-r--r-- | zsh/oh-my-zsh/plugins/mix-fast/mix-fast.plugin.zsh | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/zsh/oh-my-zsh/plugins/mix-fast/mix-fast.plugin.zsh b/zsh/oh-my-zsh/plugins/mix-fast/mix-fast.plugin.zsh new file mode 100644 index 0000000..564c505 --- /dev/null +++ b/zsh/oh-my-zsh/plugins/mix-fast/mix-fast.plugin.zsh @@ -0,0 +1,30 @@ +_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 '^mix [^ ]' | sed -E "s/mix ([^ ]*) *# (.*)/\1:\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 + local tasks=(${(f)"$(cat .mix_tasks)"}) + _describe 'tasks' tasks + fi +} + +compdef _mix mix +alias mix_refresh='_mix_refresh' |