Moved git-worspace modules to home-manager (created PR upstream)

https://github.com/nix-community/home-manager/pull/3811
This commit is contained in:
Andrea Ciceri 2023-03-26 17:44:10 +02:00
parent 52298435cd
commit 091b4150e8
Signed by: aciceri
SSH key fingerprint: SHA256:/AagBweyV4Hlfg9u092n8hbHwD5fcB6A3qhDiDA65Rg
5 changed files with 14 additions and 121 deletions

View file

@ -10,6 +10,11 @@
url = "github:nix-community/home-manager";
inputs.nixpkgs.follows = "nixpkgsUnstable";
};
# TODO: remove after https://github.com/nix-community/home-manager/pull/3811
homeManagerGitWorkspace = {
url = "github:aciceri/home-manager/git-workspace";
inputs.nixpkgs.follows = "nixpkgsUnstable";
};
disko = {
url = "github:nix-community/disko";
inputs.nixpkgs.follows = "nixpkgsUnstable";