From 38e157c64035f7cb685f3b57da4a7b321ad09c27 Mon Sep 17 00:00:00 2001
From: Konstantin Dmitriev <ksee.zelgadis@gmail.com>
Date: Aug 11 2018 17:23:26 +0000
Subject: Script to log-in into development environment


---

diff --git a/dev-env.sh b/dev-env.sh
new file mode 100755
index 0000000..8b1244c
--- /dev/null
+++ b/dev-env.sh
@@ -0,0 +1,11 @@
+#!/bin/bash
+#
+
+set -e
+
+WORKDIR=`dirname "$0"`
+pushd "${WORKDIR}" > /dev/null
+WORKDIR=`pwd`
+popd > /dev/null
+
+nix-shell "${WORKDIR}/autobuild/default.nix"