view zshrc-maven @ 158:08620c68ca55

add a default .profile which runs a zsh. This comes in handy on systems where you cannot chsh
author Dirk Olmes <dirk@xanthippe.ping.de>
date Sat, 14 Dec 2019 06:13:05 +0100
parents fd29e12b3a2e
children
line wrap: on
line source

#
# zshrc for Maven
#

export MAVEN_OPTS="-Xmx768m"

switchMaven() {
    local maven_version="$1"
    local new_path=`removeFromPath "maven"`
    export M2_HOME=/usr/share/maven-bin-${maven_version}
    export PATH="${M2_HOME}/bin":"${new_path}"
    mvn --version
}

mvn20() {
    switchMaven "2.0"
}

mvn22() {
    switchMaven "2.2"
}

mvn30() {
    switchMaven "3.0"
}