From a7f0811f4bea876ab0a14ba05bbd035d8a3317d8 Mon Sep 17 00:00:00 2001
From: David Arnold <dar@xoe.solutions>
Date: Mon, 28 Sep 2020 22:34:18 -0500
Subject: [PATCH] Shorten the menu command

---
 mkDevShell/options.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mkDevShell/options.nix b/mkDevShell/options.nix
index 3eaf6eed..c7c99409 100644
--- a/mkDevShell/options.nix
+++ b/mkDevShell/options.nix
@@ -102,7 +102,7 @@ in
       type = types.str;
       default = ''
         ${ansiBoldOrange}🔨 Welcome to ${config.name}${ansiReset}
-        $(devshell-menu)
+        $(menu)
       '';
       description = ''
         Message Of The Day.
@@ -188,7 +188,7 @@ in
     commands = [
       {
         help = "prints this menu";
-        name = "devshell-menu";
+        name = "menu";
         command = ''
           echo "[commands]"
           cat <<'DEVSHELL_MENU'