一、问题背景
由于在公司与在家都有单独的maven配置,所以需要经常修改settings.xml中的activeProfile来切换profile。感觉还是太麻烦所以打算自己写了一个Shell来解决这个问题。
二、分析解决
a、首先把settings.xml复制两份
一份叫settings-home.xml
一份叫settings-work.xml
b、采用自动生成软连接的方式替换settings.xml
conf/change-setting.sh(并设置可执行权限)文件内容如下:
#!/bin/bash
PS3='Please enter your choice: '
options=("settings-home" "settings-work" "quit")
select opt in "${options[@]}"
do
case $opt in
"settings-home")
ln -sf settings-home.xml settings.xml
echo "change to settings-home!"
;;
"settings-work")
ln -sf settings-work.xml settings.xml
echo "change to settings-work!"
;;
"quit")
break
;;
*) echo invalid option;;
esac
done
c、需要切换时运行这个sh就可以了。