diff options
author | Anderson Torres <torres.anderson.85@protonmail.com> | 2023-02-05 13:02:03 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-02-05 13:02:03 -0300 |
commit | 217838ce4754cd709550a9b268d6959c65e1b2e6 (patch) | |
tree | ad6327eef5f06c0930c8cec7db141928fc255039 /pkgs/development/tools | |
parent | 40ba783ffe7e1aaba3fdf4e0df5c322b2ffcfa71 (diff) | |
parent | 4bb112a84af38d391d641e28328f7ab4246232cc (diff) |
Merge pull request #214575 from e1mo/initool
initool: init at 0.10.0
Diffstat (limited to 'pkgs/development/tools')
-rw-r--r-- | pkgs/development/tools/initool/default.nix | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/pkgs/development/tools/initool/default.nix b/pkgs/development/tools/initool/default.nix new file mode 100644 index 000000000000..ce8f769ae442 --- /dev/null +++ b/pkgs/development/tools/initool/default.nix @@ -0,0 +1,41 @@ +{ stdenv +, mlton +, lib +, fetchFromGitHub +}: + +stdenv.mkDerivation rec { + pname = "initool"; + version = "0.10.0"; + + src = fetchFromGitHub { + owner = "dbohdan"; + repo = pname; + rev = "v${version}"; + hash = "sha256-pszlP9gy1zjQjNNr0L1NY0XViejUUuvUZH6JHtUxdJI="; + }; + + nativeBuildInputs = [ mlton ]; + + doCheck = true; + + installPhase = '' + runHook preInstall + + mkdir -p $out/bin + cp initool $out/bin/ + + runHook postInstall + ''; + + meta = with lib; { + inherit (mlton.meta) platforms; + + description = "Manipulate INI files from the command line"; + homepage = "https://github.com/dbohdan/initool"; + license = licenses.mit; + maintainers = with maintainers; [ e1mo ]; + changelog = "https://github.com/dbohdan/initool/releases/tag/v${version}"; + }; +} + |