add repositories

This commit is contained in:
Ingolf Wagner 2021-12-05 21:25:13 +01:00
parent 492c2c353d
commit 9e16469f80
Signed by: palo
GPG key ID: 76BF5F1928B9618B

View file

@ -80,6 +80,18 @@ in
home.git-pull = {
enable = mkDefault true;
repositories = [
{
source = "git@git.space-left.org:space-left/rc3-map.git";
target = "~/dev/space-left/rc3-map";
}
{
source = "git@github.com:krebs/rc3-map.git";
target = "~/dev/krebs/rc3-map";
}
{
source = "git@github.com:krebs/stockholm.git";
target = "~/dev/krebs/stockholm";
}
{
source = "git@github.com:mrVanDalo/home-manager-utils.git";
target = "~/dev/home-manager-utils";