← Previous · All Episodes
Formatting Nixpkgs with Silvan Mosberger Episode 40

Formatting Nixpkgs with Silvan Mosberger

· 01:11:51

|
https://www.youtube.com/@molybdenumsoftware

https://github.com/NixOS/rfcs/pull/101

https://github.com/NixOS/nixfmt

nixfmt created by https://serokell.io/

https://github.com/nix-community/nixpkgs-fmt

https://github.com/NixOS/rfcs/pull/166

https://github.com/kamadorueda/alejandra

https://piegames.de/
https://github.com/0x4A6F
https://github.com/tomberek
https://github.com/dasJ
https://nixos.org/community/teams/formatting/

https://github.com/numtide/treefmt

https://github.com/NixOS/nixpkgs/pull/322537
https://github.com/NixOS/nixpkgs/pull/322537#issuecomment-2532934880

https://www.tweag.io/
https://antithesis.com/

https://hintjens.gitbooks.io/social-architecture/content/chapter4.html

https://github.com/NixOS/nixpkgs/blob/master/CONTRIBUTING.md

https://moduscreate.com/

Auto-generated chapters:

00:00 Introduction and Background
01:44 The Journey to Standardized Formatting
06:17 The Evolution of RFC 101 to 166
11:22 The Role of the Shepherd Team
15:59 Defining the Formatting Rules
19:51 Finalizing the RFC and Implementation
25:01 Implementation Insights and Challenges
27:23 Finalizing the Formatter and Addressing Issues
30:09 Tree-Wide Reformatting: Strategies and Challenges
34:15 Ensuring Consistency in Formatting
38:54 Future Plans for Formatting and Maintenance
46:51 Enhancing PR Review Processes
49:28 Streamlining Local Formatting with treefmt
53:14 Managing Version Control and Formatting Conflicts
55:45 The Role of the Formatting Team
57:16 Exploring Linting and Future Maintenance
01:01:02 Automation and Community Contributions
01:04:10 C4 Guidelines for Effective PR Reviews
01:07:30 The Future of Documentation and Automation
01:10:15 Motivation Behind Community Contributions


Creators and Guests

Shahar
Host
Shahar "Dawn" Or
Full Time Nix Podcast | Molybdenum Software Show | Software Teaming | open source | Nix | Rust

Subscribe

Listen to Full Time Nix using one of many popular podcasting apps or directories.

Apple Podcasts Spotify Overcast Pocket Casts Amazon Music
← Previous · All Episodes