diff options
author | lassulus <lassulus@lassul.us> | 2017-08-06 16:08:58 +0200 |
---|---|---|
committer | lassulus <lassulus@lassul.us> | 2017-08-10 12:54:04 +0200 |
commit | 61968bc0263f8bbd92e167e4fde8290ba6cde12b (patch) | |
tree | 5c804a9b492a90f934ff901703e358f2ac8b1ff7 /krebs | |
parent | 9da8a1b0a67ec0335c7d109dfee4a1d0816f00a9 (diff) |
init pkgs.gi
Diffstat (limited to 'krebs')
-rw-r--r-- | krebs/5pkgs/simple/gi/default.nix | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/krebs/5pkgs/simple/gi/default.nix b/krebs/5pkgs/simple/gi/default.nix new file mode 100644 index 000000000..88f518ea9 --- /dev/null +++ b/krebs/5pkgs/simple/gi/default.nix @@ -0,0 +1,30 @@ +{ fetchFromGitHub, lib, stdenv, ... }: + +stdenv.mkDerivation rec { + name = "gi"; + version = "master"; + + src = fetchFromGitHub { + owner = "dspinellis"; + repo = "gi"; + rev = "684051e"; + sha256 = "14jgfg0bpzhy7dyq3ff45syd3c324l1z6d3q14izvwk6cs11qs8m"; + }; + + phases = [ + "unpackPhase" + "installPhase" + ]; + + installPhase = '' + mkdir -p $out/bin + cp ./gi.sh $out/bin/gi + ''; + + meta = { + description = "a minimalist distributed issue management system based on Git."; + url = https://github.com/dspinellis/gi; + license = lib.licenses.gpl3; + platforms = lib.platforms.unix; + }; +} |