summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2021-12-27agda-stdlib: fix destination of `.agdai` files.Chloe Brown
2021-12-27agda-stdlib: fix incorrect build orderChloe Brown
2021-12-27agda-stdlib: fix missing `.agdai` files.Chloe Brown
2021-12-27agda-stdlib: Move docs from `out` to `doc`.Chloe Brown
2021-12-26agda-stdlib: initial commitChloe Brown
2021-12-26Add channel authentication.Chloe Brown
Signed-off-by: Chloe Brown <chloe.brown.00@outlook.com>
2021-12-26Define 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.