Comments (7)
I could also reproduce the bug on a fresh 18.04 VM:
$ effekt
/usr/bin/env: 'java -jar': No such file or directory
from effekt.
As a workaround, one can of course run java -jar /usr/local/bin/effekt
, but this is not satisfactory. However, getting vscode on Ubuntu to work is a bit more tricky since adjusting the path in the settings will not work for reasons similar to the ones described above.
from effekt.
A more reliable workaround is the following:
Create a script effekt.sh
with the following contents:
#!/bin/bash
java -jar /usr/bin/local/effekt $@
and make it executable. Put this script in your PATH
and use effekt.sh
instead of effekt
. This also works for VSCode:
- Enter settings
- navigate to Effekt / path to executable
- enter
effekt.sh
(or the absolute path to the script) there
This solution also interacts well with updating the effekt package. Since the script only forwards to effekt, updating it under the hood just works.
from effekt.
As a workaround I added the script to the distribution (87a4b0) and link it as effekt.sh
. So linux users for now need to call effekt.sh
instead of effekt
. Also VSCode can now be configured to point to effekt.sh
if effekt
does not work.
from effekt.
This needs to be documented on the website.
from effekt.
So why not just pass -S
to env
to make it recognize the multiple arguments?
from effekt.
So why not just pass
-S
toenv
to make it recognize the multiple arguments?
This -S
flag breaks on windows :(
from effekt.
Related Issues (20)
- Existential types HOT 1
- Higher-rank polymorphism HOT 3
- Multiple return values
- Unexpected Reference Error, when working with Coroutines. HOT 11
- Interface Polymorphic typing HOT 8
- Handling without control HOT 1
- `--compile` should generate executable HOT 5
- Overloading constructors breaks pattern matching
- Examples of Effect Checking are Out-of-Date
- Private definitions
- Singleton interfaces
- Import and module are implemented counterintuitive HOT 7
- Import everything from a module
- Import and namespacing
- SML data / codata representation
- Numbers higher than INT32_MAX crash the parser HOT 2
- Importing resources is not possible HOT 1
- Capture polymorphism HOT 2
- There should be an option to produce an executable without running it HOT 1
- Recursive object definitions
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from effekt.