Gradle Translation

What is the gradle equivalent of this?
mvn org.apache.maven.plugins:maven-install-plugin:3.1.2:install-file -Dfile=LocalDependency.jar
mvn install
mvn org.apache.maven.plugins:maven-install-plugin:3.1.2:install-file -Dfile=LocalDependency.jar
mvn install
I'm a maven loyalist, but my team converted some of our stuff to gradle. I use this maven command in a docker script (which, of course, now doesn't work).
5 Replies
JavaBot
JavaBot6mo ago
This post has been reserved for your question.
Hey @Pheotis! Please use /close or the Close Post button above when your problem is solved. Please remember to follow the help guidelines. This post will be automatically closed after 300 minutes of inactivity.
TIP: Narrow down your issue to simple and precise questions to maximize the chance that others will reply in here.
dan1st
dan1st6mo ago
Why exactly do you need it? And why don't you tell your coworkers who want to use Gradle to give you the alternative command?
Pheotis
PheotisOP6mo ago
It's part of a build pipeline that I'm the main one who uses The repo used in the pom relies on a file that doesn't exist in the remote yet (it will eventually, just not yet) For now, I work around this by fetching the jar with wget and installing it locally
dan1st
dan1st6mo ago
they broke it, they fix it I think you can put an if in the build.gradle so if you are running in Docker (set some environment variable or whatever), you add another dependency assuming you just need it for a dependency Actually I have no idea why you want to install the file to the local repository Gradle doesn't have that much of a local repository, more like a cache
JavaBot
JavaBot6mo ago
💤 Post marked as dormant
This post has been inactive for over 300 minutes, thus, it has been archived. If your question was not answered yet, feel free to re-open this post or create a new one. In case your post is not getting any attention, you can try to use /help ping. Warning: abusing this will result in moderative actions taken against you.
Want results from more Discord servers?
Add your server