From 7bf52f219a37c8e6e0032e7eddacd40cc631682a Mon Sep 17 00:00:00 2001 From: Paul Winkler Date: Mon, 2 Mar 2026 17:06:59 +0100 Subject: [PATCH] Added a small remark to README.md regarding the capturing of env vars in publishToMavenLocal --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index 31ddb247..351a8dcb 100644 --- a/README.md +++ b/README.md @@ -138,6 +138,9 @@ You need to (additionally) set `Z3_EXE` in `~/.xprofile` and/or `~/.bash_profile` depending on your shell, window manager, display manager, operating system, etc. +**Note**: The `Z3_EXE` environmental variable is captured in the local Maven repository when `publishToMavenLocal` +is run. Changing the environment variable later has no effect until the task is executed again. + ## Contact Reach out to komi.golov@jetbrains.com if you'd like to use or contribute to the plugin!