question-mark
Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Add setting for path to jar file.

See original GitHub issue

It would be useful to allow a setting to the tla2tools.jar file so one can maintain consistency with other users and a build server version of tla tools.

Issue Analytics

  • State:closed
  • Created 4 years ago
  • Comments:5 (2 by maintainers)

github_iconTop GitHub Comments

1reaction
alygincommented, Feb 3, 2020

@scott-fleischman, the feature is released in v1.4. Here’s the description of how it works: https://github.com/alygin/vscode-tlaplus/wiki/Java-Options#class-path

0reactions
alygincommented, Feb 1, 2020

The feature is available in the latest pre-release (how-to). Will be released soon.

Read more comments on GitHub >

github_iconTop Results From Across the Web

Adding Classes to the JAR File's Classpath
We want to load classes in MyUtils.jar into the class path for use in MyJar.jar. These two JAR files are in the same...
Read more >
Adding a folder of jar files to my path - Unix Stack Exchange
For JAR files, you have to set the CLASSPATH and not the PATH environment variable. If you're using BASH, it is: export ...
Read more >
How to add the jar file into the build path - Stack Overflow
Right click on project -> properties -> Java Build Path -> Libraries -> Add External Jars -> select the jar file where it...
Read more >
How to add jar file to PATH? - Ubuntu Forums
Re: How to add jar file to PATH? · export PATH=$PATH:/path/to/jar/dist · #!/bin/bash echo "Today is $(date)" · java -jar test.jar.
Read more >
5 ways to add multiple JAR in to Classpath in Java - Examples
If you are running an executable JAR file, you might have noticed the Class-Path attribute in the manifest file inside the META-INF folder....
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Dev.to Post

No results found

github_iconTop Related Hashnode Post

No results found