2020-05-16 12:10:39 +02:00
|
|
|
{ stdenv, fetchFromGitHub, buildGoModule, bash }:
|
2013-11-17 15:00:12 +01:00
|
|
|
|
2020-05-16 12:10:39 +02:00
|
|
|
buildGoModule rec {
|
2019-08-15 14:41:18 +02:00
|
|
|
pname = "direnv";
|
2020-05-08 18:41:52 +02:00
|
|
|
version = "2.21.3";
|
2020-05-16 12:10:39 +02:00
|
|
|
|
|
|
|
vendorSha256 = null;
|
2016-03-27 16:37:07 +02:00
|
|
|
|
2016-07-03 17:55:51 +02:00
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "direnv";
|
|
|
|
repo = "direnv";
|
|
|
|
rev = "v${version}";
|
2020-05-08 18:41:52 +02:00
|
|
|
sha256 = "1adi6ld9g4zgz0f6q0kkzrywclqrmikyp7yh22zm9lfdvd5hs8wp";
|
2013-11-17 15:00:12 +01:00
|
|
|
};
|
|
|
|
|
2018-11-22 22:25:05 +01:00
|
|
|
# we have no bash at the moment for windows
|
|
|
|
makeFlags = stdenv.lib.optional (!stdenv.hostPlatform.isWindows) [
|
|
|
|
"BASH_PATH=${bash}/bin/bash"
|
|
|
|
];
|
2013-11-17 15:00:12 +01:00
|
|
|
|
2016-07-03 17:55:51 +02:00
|
|
|
installPhase = ''
|
2020-04-28 03:50:57 +02:00
|
|
|
make install DESTDIR=$out
|
|
|
|
mkdir -p $out/share/fish/vendor_conf.d
|
|
|
|
echo "eval ($out/bin/direnv hook fish)" > $out/share/fish/vendor_conf.d/direnv.fish
|
2016-07-03 17:55:51 +02:00
|
|
|
'';
|
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
2016-06-20 12:53:46 +02:00
|
|
|
description = "A shell extension that manages your environment";
|
2013-11-17 15:00:12 +01:00
|
|
|
longDescription = ''
|
|
|
|
Once hooked into your shell direnv is looking for an .envrc file in your
|
|
|
|
current directory before every prompt.
|
|
|
|
|
|
|
|
If found it will load the exported environment variables from that bash
|
|
|
|
script into your current environment, and unload them if the .envrc is
|
|
|
|
not reachable from the current path anymore.
|
|
|
|
|
|
|
|
In short, this little tool allows you to have project-specific
|
|
|
|
environment variables.
|
|
|
|
'';
|
2020-04-01 03:11:51 +02:00
|
|
|
homepage = "https://direnv.net";
|
2016-07-03 17:55:51 +02:00
|
|
|
license = licenses.mit;
|
|
|
|
maintainers = with maintainers; [ zimbatm ];
|
2013-11-17 15:00:12 +01:00
|
|
|
};
|
|
|
|
}
|