From ec9b4b3335515d45696c7b60b9560ed4f597f5a4 Mon Sep 17 00:00:00 2001
From: jhonas <wernery@greenbaum.cloud>
Date: Wed, 29 Mar 2023 19:30:07 +0200
Subject: [PATCH] devshell: remove cli

Upstream removed the devshell cli:
https://github.com/numtide/devshell/commit/8c1b8fbdd3f225e388e25c30e9569ff5d52e2758
---
 tritonshell.nix | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/tritonshell.nix b/tritonshell.nix
index ede0d60..2f8f5fe 100644
--- a/tritonshell.nix
+++ b/tritonshell.nix
@@ -34,10 +34,6 @@ in
   };
 
   commands = [
-    {
-      package = pkgs.devshell.cli;
-      help = "Per project developer environments";
-    }
     {
       package = pkgs.nodePackages.triton;
       category = "triton & manta tools";