From 9189add418edb27a8b2caab12d146e0f35a4e587 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tristan=20Dani=C3=ABl=20Maat?= Date: Tue, 4 Oct 2022 17:21:19 +0100 Subject: [PATCH] server: Add dir-locals with server-specific dev settings --- .dir-locals.el => server/.dir-locals.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename .dir-locals.el => server/.dir-locals.el (64%) diff --git a/.dir-locals.el b/server/.dir-locals.el similarity index 64% rename from .dir-locals.el rename to server/.dir-locals.el index 1ede92b..39e1eca 100644 --- a/.dir-locals.el +++ b/server/.dir-locals.el @@ -1,4 +1,4 @@ ((rust-mode . ((indent-tabs-mode . nil) (tab-width . 4) (fill-column . 80) - (projectile-project-run-cmd . "cd server && cargo run -- --dev-mode --template-directory ~/Documents/Projects/tlaternet-templates/result")))) + (projectile-project-run-cmd . "cd server && cargo run -- --dev-mode --template-directory ../templates/result"))))