Fix shell ANSI colors and welcomeMessage (#5594)

IntersectMBO · Oct 18, 2023 · 1446efe · 1446efe
1 parent a49a91f
commit 1446efe
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/nix/shell.nix b/nix/shell.nix
@@ -26,6 +26,7 @@ in
 {
   name = "plutus";
 
+  welcomeMessage = "🤟 \\033[1;34mWelcome to Plutus\\033[0m 🤟";
 
   packages = [
     repoRoot.nix.agda-with-stdlib