Merge pull request #91284 from danieldk/micro-man

micro: install man page
This commit is contained in:
Jörg Thalheim 2020-06-22 14:48:17 +01:00 committed by GitHub
commit 70c2c30618
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,6 +1,6 @@
{ stdenv, buildGoPackage, fetchFromGitHub }: { stdenv, buildGoPackage, fetchFromGitHub, installShellFiles }:
buildGoPackage rec { buildGoPackage rec {
pname = "micro"; pname = "micro";
version = "2.0.5"; version = "2.0.5";
@ -14,6 +14,8 @@ buildGoPackage rec {
fetchSubmodules = true; fetchSubmodules = true;
}; };
nativeBuildInputs = [ installShellFiles ];
subPackages = [ "cmd/micro" ]; subPackages = [ "cmd/micro" ];
buildFlagsArray = let t = "${goPackagePath}/internal/util"; in '' buildFlagsArray = let t = "${goPackagePath}/internal/util"; in ''
@ -24,6 +26,10 @@ buildGoPackage rec {
goDeps = ./deps.nix; goDeps = ./deps.nix;
postInstall = ''
installManPage $src/assets/packaging/micro.1
'';
meta = with stdenv.lib; { meta = with stdenv.lib; {
homepage = "https://micro-editor.github.io"; homepage = "https://micro-editor.github.io";
description = "Modern and intuitive terminal-based text editor"; description = "Modern and intuitive terminal-based text editor";