[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/cider 049eb30caf 8/8: Add section about dead REPLs to user
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/cider 049eb30caf 8/8: Add section about dead REPLs to user manual |
Date: |
Fri, 16 Jun 2023 04:00:04 -0400 (EDT) |
branch: elpa/cider
commit 049eb30caf7e9ce47e2993903820361b829f0799
Author: yuhan0 <qythium@gmail.com>
Commit: Bozhidar Batsov <bozhidar@batsov.dev>
Add section about dead REPLs to user manual
---
doc/modules/ROOT/pages/usage/managing_connections.adoc | 15 +++++++++++++++
1 file changed, 15 insertions(+)
diff --git a/doc/modules/ROOT/pages/usage/managing_connections.adoc
b/doc/modules/ROOT/pages/usage/managing_connections.adoc
index 9b46b13401..73b6907a53 100644
--- a/doc/modules/ROOT/pages/usage/managing_connections.adoc
+++ b/doc/modules/ROOT/pages/usage/managing_connections.adoc
@@ -192,3 +192,18 @@ name and the REPL type specification post-fix
You can customize session names with `cider-session-name-template` and REPL
names with `nrepl-repl-buffer-name-template`. See also
`cider-format-connection-params` for available formats.
+
+== Reusing dead REPLs
+
+Under normal circumstances, CIDER automatically kills the REPL buffers and
cleans up after itself when ending a session.
+However, when a session is terminated unexpectedly, e.g. when it crashes or is
disconnected from an external server process, the REPL buffer is left without
an active connection and outputs a log:
+
+[source]
+----
+*** Closed on < date/time > ***
+----
+
+Upon starting a new connection, CIDER can detect these "dead REPLs" and offer
to reuse the buffer for the new connection.
+By default, it prompts for confirmation whenever a dead REPL buffer is
available for reuse, but you can customize this behaviour via the variable
`cider-reuse-dead-repls`.
+Setting it to `auto` reuses a dead REPL buffer automatically, and only
displays a prompt when there are multiple options to choose from.
+To suppress the prompt entirely, set it to `nil` to always start a new REPL
buffer, or `any` to reuse the most relevant dead REPL.
- [nongnu] elpa/cider updated (ec97c88c46 -> 049eb30caf), ELPA Syncer, 2023/06/16
- [nongnu] elpa/cider a903e9e15b 1/8: Restore ability to reuse dead clj REPLs, ELPA Syncer, 2023/06/16
- [nongnu] elpa/cider e0dd24ee74 3/8: Tweak wording of prompts, ELPA Syncer, 2023/06/16
- [nongnu] elpa/cider b94d4ed6a4 7/8: Add changelog entry, ELPA Syncer, 2023/06/16
- [nongnu] elpa/cider 049eb30caf 8/8: Add section about dead REPLs to user manual,
ELPA Syncer <=
- [nongnu] elpa/cider 4260f10e9a 5/8: Remove unnecessary autoload, add tagged choices, ELPA Syncer, 2023/06/16
- [nongnu] elpa/cider 7e8645fe35 2/8: Add user customization for reusing dead REPLs, ELPA Syncer, 2023/06/16
- [nongnu] elpa/cider 86d9d64421 4/8: Refactor, ELPA Syncer, 2023/06/16
- [nongnu] elpa/cider 152f7f1805 6/8: Fix lint warnings, ELPA Syncer, 2023/06/16