docs: add pipe.pico.sh to ssh hosts (#12)

picosh · Dec 1, 2024 · 6310229 · 6310229
1 parent 5bcb1fb
commit 6310229
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/posts/faq.md b/posts/faq.md
@@ -60,7 +60,7 @@ ssh -o IdentitiesOnly=yes -i ~/.ssh/id_ed25519 pico.sh
 The other is with an SSH config entry (`~/.ssh/config`):
 
 ```bash
-Host pico.sh pgs.sh prose.sh tuns.sh
+Host pico.sh pgs.sh prose.sh tuns.sh pipe.pico.sh
   IdentitiesOnly yes
   IdentityFile ~/.ssh/id_ed25519
 ```