mirror of
https://github.com/ohmyzsh/ohmyzsh.git
synced 2026-05-29 04:53:17 +02:00
inform the user :)
This commit is contained in:
parent
bd9a604790
commit
0753006088
1 changed files with 1 additions and 0 deletions
|
|
@ -23,6 +23,7 @@ RESET_FORMATTING=$(tput sgr0)
|
||||||
# if found a ./mvnw file execute it otherwise execute orignal mvn
|
# if found a ./mvnw file execute it otherwise execute orignal mvn
|
||||||
mvn-or-mvnw() {
|
mvn-or-mvnw() {
|
||||||
if [ -f ./mvnw ] ; then
|
if [ -f ./mvnw ] ; then
|
||||||
|
echo "executing mvnw instead of mvn"
|
||||||
./mvnw "$@";
|
./mvnw "$@";
|
||||||
else
|
else
|
||||||
mvn "$@";
|
mvn "$@";
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue