From 55447fb47d14d324d31629d133be791843185848 Mon Sep 17 00:00:00 2001 From: Dozer Date: Wed, 21 Jan 2015 17:27:46 +0800 Subject: [PATCH] add idea plugin --- plugins/idea/idea.plugin.zsh | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 plugins/idea/idea.plugin.zsh diff --git a/plugins/idea/idea.plugin.zsh b/plugins/idea/idea.plugin.zsh new file mode 100644 index 000000000..0e846d85a --- /dev/null +++ b/plugins/idea/idea.plugin.zsh @@ -0,0 +1,16 @@ +local _idea_paths > /dev/null 2>&1 +_idea_paths=( + "$HOME/Applications/IntelliJ IDEA 14.app" + "/Applications/IntelliJ IDEA 14.app" + "$HOME/Applications/IntelliJ IDEA 13.app" + "/Applications/IntelliJ IDEA 13.app" + "$HOME/Applications/IntelliJ IDEA 12.app" + "/Applications/IntelliJ IDEA 12.app" +) + +for _idea_path in $_idea_paths; do + if [[ -a $_idea_path ]]; then + alias idea="open -a '$_idea_path'" + break + fi +done