From 3ab33b1b3008ae3b298d5f2905c2ef5d041c0be9 Mon Sep 17 00:00:00 2001 From: Skyler Grey Date: Sun, 14 Sep 2025 02:13:54 +0000 Subject: [PATCH] docs: recommend Josh workspaces Change-Id: uyklrlmwlslvvorqzkzotwowtntmwlzu Workspaces are not the default filter when you clone a directory, however we want them so we can have folders such as .tangled shared between multiple workspaces. Therefore, we should recommend them for our clone URLs --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 9f36a5e..04fc272 100644 --- a/README.md +++ b/README.md @@ -20,8 +20,8 @@ provide a public [*josh* proxy](https://josh-project.github.io/josh/) which can be used to filter your clone: ```bash -git clone https://git.freshlybakedca.ke/patisserie.git:/packetmix.git -# Swap out "packetmix" at the end of the URL for whatever project you want to clone +git clone https://git.freshlybakedca.ke/patisserie.git:workspace=packetmix.git packetmix +# Swap out the "packetmix"es at the end of the URL for whatever project you want to clone ``` If you need to push then, as with *tangled* normally, you are required to use @@ -41,7 +41,7 @@ When you've added this section to your ssh config, you can add a custom push URL to use SSH. ```bash -git remote set-url --push ssh://git@git.freshlybakedca.ke/patisserie.git:/packetmix.git +git remote set-url --push ssh://git@git.freshlybakedca.ke/patisserie.git:workspace=packetmix.git # Swap out "packetmix" at the end of the URL for whatever project you have cloned ``` -- 2.43.0