chills

no profile record

comments

vor 5 Monatendiscuss

What do you mean, "the OS as a whole"? This is the OS!

vor 10 Monatendiscuss

In addition to sibling commenter, niri exposes everything over an IPC accessible via its cli (or a socket), so if you wanted, say, a keybind to switch to your terminal, no matter where it is, you could bind it to this:

  niri msg action focus-window --id $(niri msg --json windows | jq '.[] | select(.app_id=="foot") | .id')

chills

letztes Jahrdiscuss

I don't think it's particularly useful to think of unit as an empty tuple specifically, that is just an arbitrary but convenient definition for it.

Really a unit type is just one that contains only a single value. This is a unit in the same way that 1 is a unit for the integers. With some hand waving it is an identity for product types, for example (int, ()) is the "same" (xxxmorphic yada yada) as int

chills

vor 2 Jahrendiscuss

X does, you can use xrandr --setmonitor.

For example, splitting a 5120x1440 monitor into three:

  xrandr --setmonitor DisplayPort-0-0 1280/297x1440/340+0+0 none
  xrandr --setmonitor DisplayPort-0-1 2560/595x1440/340+1280+0 none
  xrandr --setmonitor DisplayPort-0-2 1280/297x1440/340+3840+0 none

chills

vor 3 Jahrendiscuss

> If only there were a Buck2 and Nix hybrid

You'll be interested in https://github.com/thoughtpolice/buck2-nix

chills

vor 3 Jahrendiscuss

Emmett's

chills

vor 3 Jahrendiscuss