feat: devbox #572
No reviewers
Labels
No Label
kind/breaking
kind/bug
kind/build
kind/dependency
kind/deployment
kind/docs
kind
enhancement
kind
feature
kind/proposal
kind
question
kind
refactor
kind/security
kind/testing
kind/translation
priority/critical
priority/high
priority/low
priority/medium
reviewed/duplicate
reviewed/invalid
reviewed/wontfix
skip-changelog
status/blocked
status/has-backport
status/has-pull
status/needs-backport
status/needs-feedback
status/needs-reviews
status/wip
upstream/gitea
upstream/sdk
No Milestone
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: gitea/tea#572
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "jolheiser/tea:devbox"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This PR adds a devbox config to the repo.
This may be beneficial to anyone interested in nix but doesn't want to deal with the language, or anyone interested in an easy way to start development for
tea
.With
devbox
installed,devbox shell
should drop you into a shell withgo 1.20.x
,gopls
(language server), andmake
for build targets available.I didn't want to duplicate all of our Makefile, but I did add a single script
devbox run build
because it also has the packages above available, so at the very least a user withdevbox
should be able to build the project.We don't have CGO, so nothing extra should be required that I can think of, and our linters are invoked via
go run
so they should also work since thego
package would be available.As a quick note, I am more familiar with nix itself than I am with devbox, but I think this could potentially help anyone wanting to quickly contribute.
If you want to get really meta and are a nix user, you could even run
nix run nixpkgs#devbox shell
to drop into the shell.Another alternative would be to write an actual flake with a devShell, however I think
devbox
is a nice in-between. Anyone comfortable with nix can probably whip up a dev environment fairly easily withoutdevbox
.