Skip to content
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

initial commands #58

Closed
siddhartha-gadgil opened this issue Apr 22, 2015 · 6 comments
Closed

initial commands #58

siddhartha-gadgil opened this issue Apr 22, 2015 · 6 comments

Comments

@siddhartha-gadgil
Copy link

It will be convenient for me to import a bunch of stuff in the ammonite REPL, but "initialCommand in console" is ignored inside the ammonite REPL

@lihaoyi
Copy link
Member

lihaoyi commented Apr 22, 2015

How are you running Ammonite?

@siddhartha-gadgil
Copy link
Author

In sbt, starting project/test:console

On Wed, Apr 22, 2015 at 9:19 AM Li Haoyi notifications@github.com wrote:

How are you running Ammonite?


Reply to this email directly or view it on GitHub
#58 (comment).

@siddhartha-gadgil
Copy link
Author

In the usual console, my imports work.

In my build.sbt I have:
initialCommands in console := """ammonite.repl.Repl.main(null); import
provingground._ ; import HoTT._"""
I also tried putting the ammonite.repl.Repl.main(null) command last.

On Wed, Apr 22, 2015 at 9:26 AM Siddhartha Gadgil <
siddhartha.gadgil@gmail.com> wrote:

In sbt, starting project/test:console

On Wed, Apr 22, 2015 at 9:19 AM Li Haoyi notifications@github.com wrote:

How are you running Ammonite?


Reply to this email directly or view it on GitHub
#58 (comment).

@lihaoyi
Copy link
Member

lihaoyi commented Apr 22, 2015

Yeah that's not going to work =/ we don't grab things from the surrounding scope, even though I'd like to at some point. #56 makes predefs slightly-more-but-not-quite possible, and with a bit of work should be sufficient

@lihaoyi
Copy link
Member

lihaoyi commented Apr 22, 2015

Fixed in d57ffac, will push an updated version 0.3.0 some time

@lihaoyi lihaoyi closed this as completed Apr 22, 2015
@siddhartha-gadgil
Copy link
Author

Thanks.

On Wed, Apr 22, 2015 at 11:27 AM Li Haoyi notifications@github.com wrote:

Closed #58 #58.


Reply to this email directly or view it on GitHub
#58 (comment).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants