add custom idea properties

prontera · Nov 17, 2017 · 11b0f61 · 11b0f61
1 parent f18c51f
commit 11b0f61
Show file tree

Hide file tree

Showing 2 changed files with 25 additions and 0 deletions.
diff --git a/build.sh b/build.sh
diff --git a/idea-pros-path.sh b/idea-pros-path.sh
@@ -0,0 +1,25 @@
+#!/bin/bash
+# 该脚本的作用是自定义idea的配置文件和插件的位置
+# author: prontera@github
+
+#set -x
+set -eo pipefail
+shopt -s nullglob
+
+idea_pros_path=$HOME/.idea.properties
+
+if [[ -e $HOME/.zshrc ]]; then
+ if ! grep -q IDEA_PROPERTIES "$HOME/.zshrc"; then
+ echo -e write it to zshrc
+ echo "export IDEA_PROPERTIES=${idea_pros_path}" >> $HOME/.zshrc
+ fi
+fi
+if [[ -e $HOME/.bashrc ]];then
+ if ! grep -q IDEA_PROPERTIES "$HOME/.bashrc"; then
+ echo -e write it to bashrc
+ echo "export IDEA_PROPERTIES=${idea_pros_path}" >> $HOME/.bashrc
+ fi
+fi
+
+echo "$(tput setaf 2)>>> "Done!" $(tput sgr0)"
+exit 0