/etc/profile.d/jump_info.sh
echo -e "\033[32m========================================\033[0m"
echo -e "\033[32m server list \033[0m"
echo -e "\033[32m========================================\033[0m"
echo "DEV-SERVICE 192.168.0.10"
echo "DEV-SEARCH 192.168.0.20"
echo "DEV-JENKINS 192.168.0.30"
echo "DEV-DB 192.168.0.40"