From 41b6586ee155a7712e8856b8a03aac41d602d8ba Mon Sep 17 00:00:00 2001
From: Vincent Ambo <mail@tazj.in>
Date: Sun, 11 Sep 2022 01:50:05 +0300
Subject: [PATCH] chore(tvix): remove stale .envrc

This doesn't actually do anything other than causing errors for the
current state of this folder.

Change-Id: I0af6410e9eb1700cd0b2b105c8adde077d931a69
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6492
Autosubmit: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
---
 tvix/.envrc | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 tvix/.envrc

diff --git a/tvix/.envrc b/tvix/.envrc
deleted file mode 100644
index ea1ec94e4..000000000
--- a/tvix/.envrc
+++ /dev/null
@@ -1,10 +0,0 @@
-source_env ../.envrc
-
-if type lorri &>/dev/null; then
-    echo "direnv: using lorri from PATH ($(type -p lorri))"
-    eval "$(lorri direnv)"
-else
-    # fall back to using direnv's builtin nix support
-    # to prevent bootstrapping problems.
-    use nix
-fi