diff options
| author |   Biswakalyan Bhuyan <biswa@surgot.in>
| 2025-02-13 14:13:49 +0530 |
|---|---|---|
| committer | Biswakalyan Bhuyan <biswa@surgot.in>
| 2025-02-13 14:13:49 +0530 |
| commit | 8a2e1006b3b272126332aa064f3ad95387129544 (patch) | |
| tree | 944c80ac612a65980d94a54ba11b6c7102037ecf /.config/zsh/oh-my-zsh/plugins/mix-fast/mix-fast.plugin.zsh | |
| parent | dcbb16d8b08ff5956abef5e6478b59df2e93ad35 (diff) | |
| download | dotfiles-8a2e1006b3b272126332aa064f3ad95387129544.tar.gz dotfiles-8a2e1006b3b272126332aa064f3ad95387129544.tar.bz2 dotfiles-8a2e1006b3b272126332aa064f3ad95387129544.zip | |
Diffstat (limited to '.config/zsh/oh-my-zsh/plugins/mix-fast/mix-fast.plugin.zsh')
| -rw-r--r-- | .config/zsh/oh-my-zsh/plugins/mix-fast/mix-fast.plugin.zsh | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/.config/zsh/oh-my-zsh/plugins/mix-fast/mix-fast.plugin.zsh b/.config/zsh/oh-my-zsh/plugins/mix-fast/mix-fast.plugin.zsh new file mode 100644 index 0000000..564c505 --- /dev/null +++ b/.config/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' |