about summary refs log tree commit diff
path: root/third_party/nix/scripts/repl.sh
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-05-18T15·39+0200
committerclbot <clbot@tvl.fyi>2022-05-19T14·08+0000
commitd127f9bd0e7b9b2e0df2de8a2227f77c0907468d (patch)
tree68455040d88b8e0c2817601db88ede450873ff8e /third_party/nix/scripts/repl.sh
parentc85291c602ac666421627d6934ebc6d5be1b93e1 (diff)
chore(3p/nix): unvendor tvix 0.1 r/4098
Nothing is using this now, and we'll likely never pick this up again,
but we learned a lot in the process.

Every now and then this breaks in some bizarre way on channel bumps
and it's just a waste of time to maintain that.

Change-Id: Idcf2f5acd4ca7070ce18d7149cbfc0d967dc0a44
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5632
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
Reviewed-by: lukegb <lukegb@tvl.fyi>
Autosubmit: tazjin <tazjin@tvl.su>
Diffstat (limited to 'third_party/nix/scripts/repl.sh')
-rwxr-xr-xthird_party/nix/scripts/repl.sh23
1 files changed, 0 insertions, 23 deletions
diff --git a/third_party/nix/scripts/repl.sh b/third_party/nix/scripts/repl.sh
deleted file mode 100755
index d068e807903a..000000000000
--- a/third_party/nix/scripts/repl.sh
+++ /dev/null
@@ -1,23 +0,0 @@
-#!/usr/bin/env bash
-set -eo pipefail
-
-# Run `nix repl` using a local store, for use during development. Intended to
-# be run from the cmake build directory
-
-if [ "$#" -gt 0 ] && [ "$1" = "--debug" ]; then
-    gdb=(gdb --args)
-    shift 1
-elif [ "$1" = "--rr" ]; then
-    gdb=(rr record)
-    shift 1
-else
-    gdb=()
-fi
-
-make -j 10
-NIX_STORE_DIR=$(pwd)/nix/store \
-    NIX_LOG_DIR=$(pwd)/nix/var/log/nix \
-    NIX_STATE_DIR=$(pwd)/nix/var/nix \
-    XDG_CACHE_HOME=$(pwd)/cache \
-    NIX_REMOTE=daemon \
-    ${gdb[*]} ./src/nix repl "$@"