From 94734c1976bd7c867e2c79b278820de6821ffb43 Mon Sep 17 00:00:00 2001 From: Skyler Grey Date: Thu, 18 Sep 2025 22:01:48 +0000 Subject: [PATCH] fix(josh): update tangled URLs Change-Id: noxrtznruowouvlwnsskwtyupulqtkus Tangled has renamed from https://tangled.sh to https://tangled.org https://bsky.app/profile/tangled.org/post/3lz5dmdtl4s2s We love that for them - but Josh doesn't properly follow the redirects for http URLs so we'll have to change them... --- packetmix/systems/teal/josh.nix | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/packetmix/systems/teal/josh.nix b/packetmix/systems/teal/josh.nix index 0fd7d8c9..1f127fb7 100644 --- a/packetmix/systems/teal/josh.nix +++ b/packetmix/systems/teal/josh.nix @@ -20,11 +20,11 @@ environment = let url_config = repo: '' - [url "https://tangled.sh/@freshlybakedca.ke/${repo}"] - insteadOf = "https://tangled.sh/@freshlybakedca.ke/${repo}.git" + [url "https://tangled.org/@freshlybakedca.ke/${repo}"] + insteadOf = "https://tangled.org/@freshlybakedca.ke/${repo}.git" - [url "ssh://git@tangled.sh/freshlybakedca.ke/${repo}"] - insteadOf = "ssh://git@tangled.sh/freshlybakedca.ke/${repo}.git" + [url "ssh://git@tangled.org/freshlybakedca.ke/${repo}"] + insteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git" ''; # ^^ Tangled doesn't support cloning from .git URLs, so we have to not have .git at the end of our repos # ^^ Additionally, we can only push to Tangled over SSH, not HTTP @@ -47,8 +47,8 @@ script = "${pkgs.josh}/bin/josh-proxy" + " --local /var/lib/josh/local" - + " --remote https://tangled.sh/@freshlybakedca.ke" - + " --remote ssh://git@tangled.sh/freshlybakedca.ke" + + " --remote https://tangled.org/@freshlybakedca.ke" + + " --remote ssh://git@tangled.org/freshlybakedca.ke" + " --port 1032"; }; -- 2.43.0