cli: remove bud

This has been planned for some time.

It seems necessary to do so now because after updating inputs to track
NixOS 22.05 channels and releases, checks fail unexpectedly, with the
traces leading back to `bud`. Disabling its modules allows checks to
run successfully.

Rather than figuring out what's going wrong with `bud`, it seems more
appropriate to remove it as planned.

doc/SUMMARY.md

@@ -18,8 +18,6 @@
 - [Concerns]()
   - [Secrets](./secrets.md)
   - [Tests](./tests.md)
-- [Helper Script – `bud`](./bud/index.md)
-  - [get](./bud/get.md)
 - [Integrations](./integrations/index.md)
   - [Cachix](./integrations/cachix.md)
   - [Deploy RS](./integrations/deploy.md)

examples/devos/.gitignore

@@ -2,9 +2,4 @@ result
 .direnv
 doc/index.html
 
-# Result of bud commands
-vm
-iso
-doi
-
 pkgs/_sources/.shake*

examples/devos/flake.nix

@@ -24,10 +24,6 @@
       digga.inputs.home-manager.follows = "home";
       digga.inputs.deploy.follows = "deploy";
 
-      bud.url = "github:divnix/bud";
-      bud.inputs.nixpkgs.follows = "nixos";
-      bud.inputs.devshell.follows = "digga/devshell";
-
       home.url = "github:nix-community/home-manager/release-22.05";
       home.inputs.nixpkgs.follows = "nixos";
 
@@ -54,7 +50,6 @@
   outputs =
     { self
     , digga
-    , bud
     , nixos
     , home
     , nixos-hardware
@@ -111,7 +106,6 @@
               digga.nixosModules.nixConfig
               home.nixosModules.home-manager
               agenix.nixosModules.age
-              bud.nixosModules.bud
             ];
           };
 

examples/devos/shell/default.nix

@@ -1,8 +1,6 @@
 { self, inputs, ... }:
 {
-  modules = with inputs; [
-    bud.devshellModules.bud
-  ];
+  modules = with inputs; [];
   exportedModules = [
     ./devos.nix
   ];