[PR #1346] [MERGED] Update flakes, add some quality of life improvements #2050

Closed
opened 2025-12-29 03:19:33 +01:00 by adam · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/juanfont/headscale/pull/1346
Author: @kradalby
Created: 4/18/2023
Status: Merged
Merged: 4/20/2023
Merged by: @kradalby

Base: mainHead: flake-qol


📝 Commits (4)

  • 719f9b1 Add nix build result to shell path
  • d8319b2 Add ignored folder to gitignore
  • 0e8b951 nix shell: redirect all local dev dirs to ignored/
  • 0b949df flake: update deps

📊 Changes

3 files changed (+34 additions, -6 deletions)

View changed files

📝 .gitignore (+2 -0)
📝 flake.lock (+24 -6)
📝 flake.nix (+8 -0)

📄 Description

Signed-off-by: Kristoffer Dalby kristoffer@tailscale.com


🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/juanfont/headscale/pull/1346 **Author:** [@kradalby](https://github.com/kradalby) **Created:** 4/18/2023 **Status:** ✅ Merged **Merged:** 4/20/2023 **Merged by:** [@kradalby](https://github.com/kradalby) **Base:** `main` ← **Head:** `flake-qol` --- ### 📝 Commits (4) - [`719f9b1`](https://github.com/juanfont/headscale/commit/719f9b138a8676d3f16ccb14ee395a3f9c020deb) Add nix build result to shell path - [`d8319b2`](https://github.com/juanfont/headscale/commit/d8319b227785336da7f2e3975074d1b78a8fe220) Add ignored folder to gitignore - [`0e8b951`](https://github.com/juanfont/headscale/commit/0e8b95193eaab17f5198908a2a51c5b145437bcd) nix shell: redirect all local dev dirs to ignored/ - [`0b949df`](https://github.com/juanfont/headscale/commit/0b949dfd1f616f2a336ab095cda574307b40e441) flake: update deps ### 📊 Changes **3 files changed** (+34 additions, -6 deletions) <details> <summary>View changed files</summary> 📝 `.gitignore` (+2 -0) 📝 `flake.lock` (+24 -6) 📝 `flake.nix` (+8 -0) </details> ### 📄 Description Signed-off-by: Kristoffer Dalby <kristoffer@tailscale.com> --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
adam added the pull-request label 2025-12-29 03:19:33 +01:00
adam closed this issue 2025-12-29 03:19:33 +01:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/headscale#2050