-
Notifications
You must be signed in to change notification settings - Fork 14
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Binary on Ubuntu 16.04 #16
Comments
I could also reproduce the bug on a fresh 18.04 VM:
|
As a workaround, one can of course run |
A more reliable workaround is the following: Create a script
and make it executable. Put this script in your
This solution also interacts well with updating the effekt package. Since the script only forwards to effekt, updating it under the hood just works. |
As a workaround I added the script to the distribution (87a4b0) and link it as |
This needs to be documented on the website. |
So why not just pass |
This |
On Ubuntu 16.04 it has been reported that Effekt cannot be exeucted since
java -jar
is treated as one command instead of a command and an argument.The Effekt "binary" is created by prefixing:
to the jar file itself. Installing it with npm makes the binary available (almost) platform independently. In particular on Windows, npm analyses the shebang and automatically generates scripts that correctly start Effekt by invoking
java -jar
.We could change the shebang to
which seems to work on MacOS X, Windows 10 and Ubuntu 16.04 -- however, now we cannot start Effekt as a subprocess from node. This is necessary to start the language server in the VSCode extension.
The text was updated successfully, but these errors were encountered: