From 407d882eee95ed4931e26af278a805b7e8ef03e7 Mon Sep 17 00:00:00 2001 From: Nico Weber Date: Wed, 1 Feb 2023 07:51:50 -0500 Subject: [PATCH] Documentation: Rename WebServer_localhost to .jpg It took me way too long to figure out why PNGImageDecoderPlugin couldn't load WebServer_localhost.png -- turns out it's a jpeg file. --- Documentation/TransferringFiles.md | 2 +- ...Server_localhost.png => WebServer_localhost.jpg} | Bin 2 files changed, 1 insertion(+), 1 deletion(-) rename Documentation/{WebServer_localhost.png => WebServer_localhost.jpg} (100%) diff --git a/Documentation/TransferringFiles.md b/Documentation/TransferringFiles.md index eea7c082e9..f3f1d6a750 100644 --- a/Documentation/TransferringFiles.md +++ b/Documentation/TransferringFiles.md @@ -11,7 +11,7 @@ ws . Then we just open `localhost:8000` on our host machine :^) -![](WebServer_localhost.png) +![](WebServer_localhost.jpg) **NOTE:** Due to the fact that some browsers download unrecognized files as plain text, you may want to use something like `wget` to download the file **as is** instead. Otherwise the file may appear corrupted when the system tries to load it. diff --git a/Documentation/WebServer_localhost.png b/Documentation/WebServer_localhost.jpg similarity index 100% rename from Documentation/WebServer_localhost.png rename to Documentation/WebServer_localhost.jpg