2021-08-12 09:00:36 +00:00
|
|
|
# Terminal recording tools and configuration
|
|
|
|
|
{
|
2022-03-07 14:26:15 +00:00
|
|
|
config,
|
|
|
|
|
pkgs,
|
|
|
|
|
lib,
|
|
|
|
|
...
|
|
|
|
|
}: {
|
2021-08-12 09:00:36 +00:00
|
|
|
environment.systemPackages = with pkgs; [
|
2021-11-16 04:57:23 +00:00
|
|
|
asciinema # Terminal session recorder
|
|
|
|
|
asciinema-scenario # Create asciinema videos from a text file
|
|
|
|
|
image_optim # CLI tool to optimize images
|
|
|
|
|
termtosvg # Record terminal sessions as SVG animations
|
2021-08-12 09:00:36 +00:00
|
|
|
];
|
|
|
|
|
}
|
