I find the fact that "exit" and "quit" work in leiningen repls to be weird
I agree. I’ve always used ctl-d to exit a Leiningen REPL or a Boot REPL – or
pretty much any console program I’ve ever used. I’m only surprised when ctl-d
_doesn’t_ work in such a program!
And, after all, both Leiningen and Boot give ctl-d as the first option for
exiting a REPL:
Exit: Control+D …
Sean Corfield -- (970) FOR-SEAN -- (904) 302-SEAN
An Architect's View -- http://corfield.org/
"If you're not annoying somebody, you're not really alive."
-- Margaret Atwood
________________________________
From: [email protected] <[email protected]> on behalf of Justin
Smith <[email protected]>
Sent: Saturday, December 9, 2017 2:55:17 PM
To: [email protected]
Subject: Re: Terminating 'clj' REPL session
I find the fact that "exit" and "quit" work in leiningen repls to be weird -
this doesn't follow the otherwise consistent rules of the language. What about
an exit function, something like
(defn exit
([] (exit 0))
([n] (System/exit n))
so that it's not an out of band special case input?
On Sat, Dec 9, 2017 at 2:38 PM Alan Thompson
<[email protected]<mailto:[email protected]>> wrote:
Hi - Just downloaded the new Clojure 1.9.0 package. When I tried the repl I
noticed that it doesn't respond to either `exit` or `quit` as one might expect
from the lein repl:
~/cool/tools > clj
Clojure 1.9.0
user=> (+ 2 3)
5
user=> exit
CompilerException java.lang.RuntimeException: Unable to resolve symbol: exit in
this context, compiling:(NO_SOURCE_PATH:0:0)
user=>
user=> quit
CompilerException java.lang.RuntimeException: Unable to resolve symbol: quit in
this context, compiling:(NO_SOURCE_PATH:0:0)
user=> ^D
~/cool/tools >
Lein repl for comparison:
~/tupelo > lein repl
nREPL server started on port 37115 on host 127.0.0.1 - Clojure 1.9.0
tupelo.core=> exit
Bye for now!
~/tupelo >
~/tupelo > lein repl
nREPL server started on port 40639 on host 127.0.0.1 - Clojure 1.9.0
tupelo.core=> quit
Bye for now!
~/tupelo >
The new repl does terminate upon CRTL-D or CRTL-C, but many users will probably
be confused that `quit` and `exit` are not accepted.
Should I file a JIRA?
Alan
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to
[email protected]<mailto:[email protected]>
Note that posts from new members are moderated - please be patient with your
first post.
To unsubscribe from this group, send email to
[email protected]<mailto:clojure%[email protected]>
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
---
You received this message because you are subscribed to the Google Groups
"Clojure" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to
[email protected]<mailto:[email protected]>.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to [email protected]
Note that posts from new members are moderated - please be patient with your
first post.
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
---
You received this message because you are subscribed to the Google Groups
"Clojure" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to
[email protected]<mailto:[email protected]>.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to [email protected]
Note that posts from new members are moderated - please be patient with your
first post.
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
---
You received this message because you are subscribed to the Google Groups
"Clojure" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
