From 85afda4b98706ab28939a032978b7faa06c05934 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sat, 5 Dec 2020 09:50:52 -0300
Subject: README.md: Add note on starting a development REPL

---
 README.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 3feaee1..6c654aa 100644
--- a/README.md
+++ b/README.md
@@ -86,3 +86,17 @@ root ALL=(ALL) ALL
 This basic setup allows it to boot, starts the OpenSSH server agent and allows
 the listed `ssh-public-key` to login, and commands from the
 "andreh" user can run `sudo` without password.
+
+### Development REPL
+
+Start a REPL from the terminal:
+
+```shell
+$ cd sync && guix repl --listen=tcp:37146
+```
+
+And connect from Emacs:
+
+```text
+M-x connect-to-guile RET RET
+```
-- 
cgit v1.2.3