From cb4fc2693412f8cb85064cfba8a558b4d7713b75 Mon Sep 17 00:00:00 2001
From: Nathan McCarty <nathan@mccarty.io>
Date: Sat, 7 Jan 2023 20:43:05 -0500
Subject: [PATCH] Add idrsi2 alias

---
 home-manager/common/programs/core.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/home-manager/common/programs/core.nix b/home-manager/common/programs/core.nix
index 6d26a33..3cdafc9 100644
--- a/home-manager/common/programs/core.nix
+++ b/home-manager/common/programs/core.nix
@@ -221,6 +221,7 @@ with lib; {
           cat = "bat";
           dig = "dog";
           df = "duf";
+          idris2 = "rlwrap -s 1000 idris2 --no-banner";
         };
         # Custom configuration
         interactiveShellInit = ''