From a6ffac84df10bbdc9fd9bd6da008446eaac8a9a0 Mon Sep 17 00:00:00 2001
From: Jorge Morante <jorge@morante.eu>
Date: Mon, 18 Sep 2023 17:38:28 +0200
Subject: [PATCH] recompile after exiting make shell

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index a03252a..12cc4f7 100644
--- a/Makefile
+++ b/Makefile
@@ -3,3 +3,4 @@ default:
 
 shell: default
 	docker run -it --rm -v $(shell pwd):/app fingers bash
+	echo "Rebuilding tmux-fingers ..." && shards build --production