2025-09-01 17:47:16 +02:00
|
|
|
{ pkgs ? import <nixos-unstable> {} } :
|
|
|
|
|
{
|
2023-08-31 12:40:41 +02:00
|
|
|
|
2025-09-01 17:47:16 +02:00
|
|
|
pkgs = import (builtins.fetchGit {
|
|
|
|
|
name = "nixos-23.05";
|
|
|
|
|
url = "https://github.com/nixos/nixpkgs/";
|
|
|
|
|
ref = "refs/heads/nixos-unstable";
|
|
|
|
|
rev = "ef99fa5c5ed624460217c31ac4271cfb5cb2502c";
|
|
|
|
|
});
|
|
|
|
|
|
|
|
|
|
foo = pkgs.mkShell {
|
2023-08-31 12:40:41 +02:00
|
|
|
# nativeBuildInputs is usually what you want -- tools you need to run
|
|
|
|
|
nativeBuildInputs = with pkgs.buildPackages; [
|
|
|
|
|
|
|
|
|
|
mmark
|
|
|
|
|
xml2rfc
|
2025-07-02 21:03:53 +02:00
|
|
|
python312Packages.lxml
|
2023-10-11 13:46:38 +02:00
|
|
|
wkhtmltopdf-bin
|
2024-02-08 19:40:43 +01:00
|
|
|
imagemagick
|
2023-08-31 12:40:41 +02:00
|
|
|
|
|
|
|
|
];
|
2025-09-01 17:47:16 +02:00
|
|
|
};
|
2025-09-19 19:53:30 +02:00
|
|
|
|
|
|
|
|
# to create [markdown] table of contents use LLM with this input: awk '/id="/ { print $0 }' RFC_XR_Fragments.html | grep -v idx
|
2023-08-31 12:40:41 +02:00
|
|
|
}
|