From 6ac7bea0ba95a93745ebc7b89dfc940e6e70bd14 Mon Sep 17 00:00:00 2001
From: Julian Berman <Julian@GrayVines.com>
Date: Fri, 7 Jun 2024 09:37:19 +0300
Subject: [PATCH] Add an even quicker way to get a scratch isolated nvim.

---
 justfile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/justfile b/justfile
index 92eccfaa..aa61d10b 100644
--- a/justfile
+++ b/justfile
@@ -17,6 +17,11 @@ retest *test_files=tests:
 nvim setup_table='{}' *ARGS='':
     nvim -u {{ init_lua }} -c "lua require('lean').setup{{ setup_table }}" {{ ARGS }}
 
+# Run an instance of neovim with a scratch buffer for interactive testing.
+scratch *ARGS='':
+    # still no idea why the extra :edit is required to get the LSP alive
+    @just nvim '{ lsp = { enable = true }, mappings = true }' +edit {{ ARGS }} JustScratch.lean
+
 # Coarsely profile how long the whole test suite takes to run.
 profile-test *ARGS: _rebuild-test-fixtures _clone-test-dependencies
     hyperfine --warmup 2 {{ ARGS }} "just retest"