From 8b3d03db92c92fac09c92b55f946ae81299491ae Mon Sep 17 00:00:00 2001
From: Vincent Ambo <mail@tazj.in>
Date: Mon, 12 Dec 2022 21:40:29 +0300
Subject: chore(tvix/cli): rename binary to just 'tvix'

Change-Id: If735c81a04f60dcd77f1c40b595b52ed88bbbe95
Reviewed-on: https://cl.tvl.fyi/c/depot/+/7580
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Reviewed-by: flokli <flokli@flokli.de>
---
 tvix/Cargo.nix      | 2 +-
 tvix/cli/Cargo.toml | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/tvix/Cargo.nix b/tvix/Cargo.nix
index 084133c186..1447c4ea17 100644
--- a/tvix/Cargo.nix
+++ b/tvix/Cargo.nix
@@ -4204,7 +4204,7 @@ rec {
         edition = "2021";
         crateBin = [
           {
-            name = "tvix-cli";
+            name = "tvix";
             path = "src/main.rs";
             requiredFeatures = [ ];
           }
diff --git a/tvix/cli/Cargo.toml b/tvix/cli/Cargo.toml
index 26aabd01cf..ae7cd22210 100644
--- a/tvix/cli/Cargo.toml
+++ b/tvix/cli/Cargo.toml
@@ -3,6 +3,10 @@ name = "tvix-cli"
 version = "0.1.0"
 edition = "2021"
 
+[[bin]]
+name = "tvix"
+path = "src/main.rs"
+
 [dependencies]
 tvix-eval = { path = "../eval" }
 rustyline = "10.0.0"
-- 
cgit 1.4.1