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

Consider using a different directory for scripts #3401

Open
benmccann opened this Issue Oct 29, 2017 · 4 comments

Comments

Projects
None yet
3 participants
@benmccann

benmccann commented Oct 29, 2017

Eclipse by default uses the bin directory to put compiled code. The dotty instructions recommend changing this from bin to classes. I maintain sbteclipse and was hoping that we could avoid this extra setup step for our mutual users. I think that bin is a fairly generic and vague name that doesn't indicate that you intend for just scripts to be in that directory. Would calling it something like scripts make its intended usage clearer?

@smarter

This comment has been minimized.

Show comment
Hide comment
@smarter

smarter Oct 30, 2017

Member

I don't know if this is worth changing considering the future of IDE support in Dotty is the Dotty Language Server (which currently doesn't handle building your project but will soon be enhanced to do so by delegating to the sbt server). Eclipse users should be able to work on Dotty projects (including Dotty itself) using LSP4E although I don't think anyone has attempted to do this so far.

Member

smarter commented Oct 30, 2017

I don't know if this is worth changing considering the future of IDE support in Dotty is the Dotty Language Server (which currently doesn't handle building your project but will soon be enhanced to do so by delegating to the sbt server). Eclipse users should be able to work on Dotty projects (including Dotty itself) using LSP4E although I don't think anyone has attempted to do this so far.

@smarter smarter closed this Oct 30, 2017

@allanrenucci

This comment has been minimized.

Show comment
Hide comment
@allanrenucci

allanrenucci Oct 30, 2017

Member

I don't see why we should not do that. I also believe that scripts is a better name than bin

Member

allanrenucci commented Oct 30, 2017

I don't see why we should not do that. I also believe that scripts is a better name than bin

@smarter

This comment has been minimized.

Show comment
Hide comment
@smarter

smarter Oct 30, 2017

Member

We could change it, but then we'd have to change paths in various places and let people know what the new name is. Doesn't seem worth the effort to me, but feel free to reopen the issue if it's something you want to tackle :).

Member

smarter commented Oct 30, 2017

We could change it, but then we'd have to change paths in various places and let people know what the new name is. Doesn't seem worth the effort to me, but feel free to reopen the issue if it's something you want to tackle :).

@allanrenucci

This comment has been minimized.

Show comment
Hide comment
@allanrenucci

allanrenucci Oct 30, 2017

Member

It's not something I plan to do, but I am sure this can be contributed by the community

Member

allanrenucci commented Oct 30, 2017

It's not something I plan to do, but I am sure this can be contributed by the community

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment