about summary refs log tree commit diff
path: root/dev-shell
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2013-07-19T14·51+0200
committerEelco Dolstra <eelco.dolstra@logicblox.com>2013-07-19T14·51+0200
commit7b09e9f2c49aba7ced0e7fbac3994f6686b6a303 (patch)
tree6209444ab09b46a6b7f0b4ca26f9d075d8945ab9 /dev-shell
parent15e5ac80393f3b0a1be264e8cdaa8f048375b27d (diff)
Add hacking notes plus a script for running nix-shell
Diffstat (limited to 'dev-shell')
-rwxr-xr-xdev-shell12
1 files changed, 12 insertions, 0 deletions
diff --git a/dev-shell b/dev-shell
new file mode 100755
index 000000000000..8579939a7b54
--- /dev/null
+++ b/dev-shell
@@ -0,0 +1,12 @@
+#! /bin/sh
+s=$(type -p nix-shell)
+exec $s release.nix -A tarball --command "
+    export NIX_REMOTE=daemon
+    export NIX_PATH='$NIX_PATH'
+    export NIX_BUILD_SHELL=$(type -p bash)
+    export c=\$configureFlags
+    exec $s release.nix -A build.x86_64-linux --exclude tarball --command '
+        configureFlags+=\" \$c --prefix=$(pwd)/inst --sysconfdir=$(pwd)/inst/etc\"
+        return
+    '" \
+    "$@"