2022-01-13 22:07:48 +00:00
|
|
|
{ lib
|
|
|
|
, stdenv
|
|
|
|
, fetchFromSourcehut
|
2023-07-15 13:06:37 +01:00
|
|
|
, pkg-config
|
2022-01-13 22:07:48 +00:00
|
|
|
, river
|
|
|
|
, wayland
|
2023-11-24 12:10:35 +00:00
|
|
|
, wayland-protocols
|
|
|
|
, zig_0_11
|
2022-01-13 22:07:48 +00:00
|
|
|
}:
|
|
|
|
|
2023-07-15 13:06:37 +01:00
|
|
|
stdenv.mkDerivation (finalAttrs: {
|
2022-01-13 22:07:48 +00:00
|
|
|
pname = "rivercarro";
|
2023-11-24 12:10:35 +00:00
|
|
|
version = "0.3.0";
|
2022-01-13 22:07:48 +00:00
|
|
|
|
|
|
|
src = fetchFromSourcehut {
|
|
|
|
owner = "~novakane";
|
2023-07-15 13:06:37 +01:00
|
|
|
repo = "rivercarro";
|
|
|
|
rev = "v${finalAttrs.version}";
|
2022-01-13 22:07:48 +00:00
|
|
|
fetchSubmodules = true;
|
2023-11-24 12:10:35 +00:00
|
|
|
hash = "sha256-lucwn9MmyVd4pynuG/ZAXnZ384wdS0gi7JN44vNQA1I=";
|
2022-01-13 22:07:48 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
nativeBuildInputs = [
|
|
|
|
pkg-config
|
|
|
|
river
|
|
|
|
wayland
|
2023-11-24 12:10:35 +00:00
|
|
|
wayland-protocols
|
|
|
|
zig_0_11.hook
|
2022-01-13 22:07:48 +00:00
|
|
|
];
|
|
|
|
|
|
|
|
meta = with lib; {
|
|
|
|
homepage = "https://git.sr.ht/~novakane/rivercarro";
|
|
|
|
description = "A layout generator for river Wayland compositor, fork of rivertile";
|
2023-07-15 13:06:37 +01:00
|
|
|
longDescription = ''
|
|
|
|
A slightly modified version of rivertile layout generator for river.
|
|
|
|
|
|
|
|
Compared to rivertile, rivercarro adds:
|
|
|
|
- Monocle layout, views will takes all the usable area on the screen.
|
|
|
|
- Gaps instead of padding around views or layout area.
|
|
|
|
- Modify gaps size at runtime.
|
|
|
|
- Smart gaps, if there is only one view, gaps will be disable.
|
|
|
|
- Limit the width of the usable area of the screen.
|
|
|
|
'';
|
|
|
|
changelog = "https://git.sr.ht/~novakane/rivercarro/refs/v${finalAttrs.version}";
|
2022-01-13 22:07:48 +00:00
|
|
|
license = licenses.gpl3Plus;
|
|
|
|
maintainers = with maintainers; [ kraem ];
|
2023-11-24 12:10:35 +00:00
|
|
|
inherit (zig_0_11.meta) platforms;
|
2022-01-13 22:07:48 +00:00
|
|
|
};
|
2023-07-15 13:06:37 +01:00
|
|
|
})
|