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; +  }; +}  | 
