News for hackers. Stuff that matters.

A comment on GitHub.Dev is now available on any GitHub repo.

Re:GitHub.Dev is now available on any GitHub repo by ducktective on Thursday August 12, 2021 @01:37PM (#28159174)
Would this and Codespaces make solutions like NixOS less necessary?
[ Parent | on HN ]
Re:GitHub.Dev is now available on any GitHub repo by ghuntley on Friday August 13, 2021 @05:59PM (#28175106)
No :-)

It makes nix more relevant.

https://github.com/gitpod-io/template-nix

https://github.com/gitpod-io/template-nixos

[ Parent | on HN ]
Re:GitHub.Dev is now available on any GitHub repo by chrfrasco on Thursday August 12, 2021 @09:35PM (#28164264)
mind expanding on this? you've piqued my interest but I can't quite see the connection
[ Parent | on HN ]
Re:GitHub.Dev is now available on any GitHub repo by ducktective on Friday August 13, 2021 @01:05AM (#28165661)
Well, solutions like docker, Ansible, vbox and Nix provide a containerized dev environment and help with requirement provisioning.

Codespaces, github.dev and github1s also kinda help with this although with a focus on helping on-boarding new team members. But IMO, in future, this could have features like export Dockerfile or any other format github desires.

[ Parent | on HN ]