Improve dev shell experence #5
Labels
No labels
Draft
ITD Ticket
Improvement
Logging
Trainee
bugfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: Skynet/nixos#5
Loading…
Reference in a new issue
No description provided.
Delete branch "%!s()"
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?
Currently the dev shell is contained in a seperate file, would be good to be able to merge it into teh flake, would mean that packages are in sync across server/dev
assigned to @silver
mentioned in merge request !5
mentioned in commit
5c62e7ede5