From edc449275b6c04445f58b108ca0937a87c1e8430 Mon Sep 17 00:00:00 2001 From: Aditya Date: Mon, 27 Feb 2023 20:04:56 +0530 Subject: add zsh --- oh-my-zsh/plugins/mix-fast/mix-fast.plugin.zsh | 30 ++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 oh-my-zsh/plugins/mix-fast/mix-fast.plugin.zsh (limited to 'oh-my-zsh/plugins/mix-fast/mix-fast.plugin.zsh') diff --git a/oh-my-zsh/plugins/mix-fast/mix-fast.plugin.zsh b/oh-my-zsh/plugins/mix-fast/mix-fast.plugin.zsh new file mode 100644 index 0000000..564c505 --- /dev/null +++ b/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' -- cgit v1.2.3