diff options
author | lassulus <lassulus@lassul.us> | 2017-08-06 16:08:58 +0200 |
---|---|---|
committer | lassulus <lassulus@lassul.us> | 2017-08-06 17:15:36 +0200 |
commit | edb7ebe7f4560f00ac65d80d82e27dcf06093097 (patch) | |
tree | dc08a5bc0cdd7d66870fcabdef6d0dbfeb5ca335 | |
parent | 798d28699af454557b5a029782abec02372669e9 (diff) |
init pkgs.gi
-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; + }; +} |