From d33a8e85170fd213912eff9ebb2dc07214556793 Mon Sep 17 00:00:00 2001
From: Karsten Hachmeister <karsten@hachmeister.org>
Date: Wed, 14 Dec 2022 21:01:11 +0100
Subject: [PATCH] add mvn17 alias

---
 .bashrc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.bashrc b/.bashrc
index db22d90..ab053fa 100644
--- a/.bashrc
+++ b/.bashrc
@@ -118,6 +118,7 @@ fi
 # maven/java version
 if [[ -x "$(command -v mvn)" ]]; then
   alias mvn11="JAVA_HOME=/usr/lib/jvm/java-11-openjdk-amd64 mvn"
+  alias mvn17="JAVA_HOME=/usr/lib/jvm/java-17-openjdk-amd64 mvn"
 fi
 
 # kitty terminal