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