blob: 6e15d4aa6b6a81aa1f754cfb30bdfd2030c80b06 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
{ lib
, fetchFromGitHub
, buildDotnetModule
, dotnetCorePackages
, marksman
, testers
}:
buildDotnetModule rec {
pname = "marksman";
version = "2023-07-25";
src = fetchFromGitHub {
owner = "artempyanykh";
repo = "marksman";
rev = version;
sha256 = "sha256-DxubrZAj2MOF7gUMDl8rW1jGHaw70KGe5Nit1SBQBW8=";
};
projectFile = "Marksman/Marksman.fsproj";
dotnetBuildFlags = [ "-p:VersionString=${version}" ];
doCheck = true;
testProjectFile = "Tests/Tests.fsproj";
nugetDeps = ./deps.nix;
dotnet-sdk = dotnetCorePackages.sdk_7_0;
dotnet-runtime = dotnetCorePackages.runtime_7_0;
postInstall = ''
install -m 644 -D -t "$out/share/doc/${pname}" LICENSE
'';
passthru = {
updateScript = ./update.sh;
tests.version = testers.testVersion {
package = marksman;
command = "marksman --version";
};
};
meta = with lib; {
description = "Language Server for Markdown";
longDescription = ''
Marksman is a program that integrates with your editor
to assist you in writing and maintaining your Markdown documents.
Using LSP protocol it provides completion, goto definition,
find references, rename refactoring, diagnostics, and more.
In addition to regular Markdown, it also supports wiki-link-style
references that enable Zettelkasten-like note taking.
'';
homepage = "https://github.com/artempyanykh/marksman";
license = licenses.mit;
maintainers = with maintainers; [ stasjok ];
platforms = dotnet-sdk.meta.platforms;
};
}
|