From 624980d549c3bcd03b75238f2f02361a520bb6e4 Mon Sep 17 00:00:00 2001
From: Simon Marsh <simon@burble.com>
Date: Sun, 10 Dec 2023 16:16:37 +0000
Subject: [PATCH] rename shell servers
---
content/services/shell.md | 22 +++++++++++-----------
1 file changed, 11 insertions(+), 11 deletions(-)
diff --git a/content/services/shell.md b/content/services/shell.md
index 863660a..5e3048b 100644
--- a/content/services/shell.md
+++ b/content/services/shell.md
@@ -5,11 +5,11 @@ weight: 60
---
burble.dn42 provides shell accounts on the following servers:
-- shell.fr-par1.burble.dn42
-- shell.us-lax1.burble.dn42
-- shell.us-nyc2.burble.dn42
-- shell.uk-lon5.burble.dn42
-- shell.de-fra2.burble.dn42
+- shell.fr.burble.dn42
+- shell.uk.burble.dn42
+- shell.de.burble.dn42
+- shell.lax.burble.dn42
+- shell.nyc.burble.dn42
There is also an anycast address [shell.burble.dn42](https://shell.burble.dn42)
that will route to the closest server.
@@ -43,7 +43,7 @@ ssh foo@shell.burble.dn42
or log in to a specific server:
```shell
-ssh foo@shell.fr-par1.burble.dn42
+ssh foo@shell.fr.burble.dn42
```
Your home directory is created automatically on first access and will then
@@ -71,11 +71,11 @@ The shell servers include a webserver with user directories (`~/public_html/`)
and CGI (`~/public_html/cgi-bin/`) enabled. The webserver is accessed over https
and has a dn42 certificate.
-- `https://shell.fr-par1.burble.dn42/~<username>/`
-- `https://shell.us-lax1.burble.dn42/~<username>/`
-- `https://shell.us-nyc2.burble.dn42/~<username>/`
-- `https://shell.uk-lon5.burble.dn42/~<username>/`
-- `https://shell.de-fra2.burble.dn42/~<username>/`
+- `https://shell.fr.burble.dn42/~<username>/`
+- `https://shell.uk.burble.dn42/~<username>/`
+- `https://shell.de.burble.dn42/~<username>/`
+- `https://shell.lax.burble.dn42/~<username>/`
+- `https://shell.nyc.burble.dn42/~<username>/`
- `https://shell.burble.dn42/~<username>/`
{{<hint info>}}