From a8e4bf7554dc7219b23c0ff076321f62c24b2b82 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Sat, 25 May 2019 15:11:11 +0200
Subject: Use Makefile for some env/deploy scripts

---
 scripts/nix_infos | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100755 scripts/nix_infos

(limited to 'scripts/nix_infos')

diff --git a/scripts/nix_infos b/scripts/nix_infos
deleted file mode 100755
index 56e5b197..00000000
--- a/scripts/nix_infos
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/bash
-
-DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
-
-source $DIR/nix_env
-version=$(nix eval --raw nixpkgs.lib.version)
-mainversion=$(echo $version | cut -d"." -f -2)
-
-echo "https://releases.nixos.org/nixos/$mainversion/nixos-$version/nixexprs.tar.xz"
-nix eval --raw nixpkgs.bc.meta.position | cut -d"/" -f-4
-- 
cgit v1.2.3