diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2018-03-19 03:09:53 +0100 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2018-03-19 03:14:07 +0100 |
commit | c5b77aa6d281214ba5fcedaca77230ca393e8b92 (patch) | |
tree | ea3ecc249d7a376f755f9f1213dbe5c0a479330a /doc/parens.texi | |
parent | 377f99cd4adb101aed7c3c15651b0da3cde1b380 (diff) | |
download | geiser-c5b77aa6d281214ba5fcedaca77230ca393e8b92.tar.gz geiser-c5b77aa6d281214ba5fcedaca77230ca393e8b92.tar.bz2 |
A prefix for geiser-compile-current-buffer to restart it all
Okay, i must confess it's sometimes handy to restart the REPL before
compiling a file (the proverbial clean slate and all). And we already
have geiser-restart-repl, so combining the two things when C-u happens
was not really difficult.
Diffstat (limited to 'doc/parens.texi')
-rw-r--r-- | doc/parens.texi | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/parens.texi b/doc/parens.texi index 71bdc95..55a23f7 100644 --- a/doc/parens.texi +++ b/doc/parens.texi @@ -436,7 +436,12 @@ incremental evaluation. Some people disagree; if you happen to find @uref{http://blog.racket-lang.org/2009/03/drscheme-repl-isnt-lisp-the-one-in-emacs.html, their arguments} convincing, you don't have to throw away Geiser together with the baby: @kbd{M-x geiser-restart-repl} will let you -restart the REPL as many times as you see fit. +restart the REPL as many times as you see fit. Moreover, you can invoke +@kbd{geiser-compile-current-buffer} and @kbd{geiser-load-current-buffer} +with a prefix argument (that'd be something like @kbd{C-u C-c C-k} for +compilation, for instance), to tell Geiser to restart the REPL +associated with a buffer before compiling or loading its current +contents. @cindex evaluation @cindex incremental development, not evil |