From 14f6f9053a9b8d47fd1b690f5aaddb77632a64a0 Mon Sep 17 00:00:00 2001 From: Katie Horne Date: Wed, 5 Jan 2022 10:41:34 -0600 Subject: [PATCH 1/2] chore: add dev URL troubleshooting tip --- workspaces/devurls.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/workspaces/devurls.md b/workspaces/devurls.md index 9fbdc594a..3260334d4 100644 --- a/workspaces/devurls.md +++ b/workspaces/devurls.md @@ -97,3 +97,13 @@ $ curl --cookie "devurl_session=" You can also access your server via [SSH port forwarding](ssh.md#forwarding-dev-urls). + +## Troubleshooting + +If you're seeing issues with your dev URL, we recommend using something like +Python's `http.server` module to gain additional information helpful for +troubleshooting issues with DevURL configuration and external proxies: + +```console +python3 -m http.server 8080 +``` From 74c5b5fb3595c47d836b978520050695095e109d Mon Sep 17 00:00:00 2001 From: Katie Horne Date: Wed, 5 Jan 2022 14:06:59 -0600 Subject: [PATCH 2/2] add caveat --- workspaces/devurls.md | 1 + 1 file changed, 1 insertion(+) diff --git a/workspaces/devurls.md b/workspaces/devurls.md index 3260334d4..753d0f1d2 100644 --- a/workspaces/devurls.md +++ b/workspaces/devurls.md @@ -105,5 +105,6 @@ Python's `http.server` module to gain additional information helpful for troubleshooting issues with DevURL configuration and external proxies: ```console +# update the following with the port you're troubleshooting python3 -m http.server 8080 ```