Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-12-27 | agda-stdlib: fix destination of `.agdai` files. | Chloe Brown | |
2021-12-27 | agda-stdlib: fix incorrect build order | Chloe Brown | |
2021-12-27 | agda-stdlib: fix missing `.agdai` files. | Chloe Brown | |
2021-12-27 | agda-stdlib: Move docs from `out` to `doc`. | Chloe Brown | |
2021-12-26 | agda-stdlib: initial commit | Chloe Brown | |
2021-12-26 | Add channel authentication. | Chloe Brown | |
Signed-off-by: Chloe Brown <chloe.brown.00@outlook.com> | |||
2021-12-26 | Define PipeWire home services. | Chloe Brown | |
Introduce two new home services: `home-pipewire-service-type` and `home-wireplumber-service-type`. These run the daemons necessary to run the PipeWire multimedia service. `home-pipewire-service-type` runs the main PipeWire daemon and the PipeWire PulseAudio interface. `home-wireplumber-service-type` runs an instance of the WirePlumber session manager. |