Serve favicon.ico locally for w4 run

Previously favicon.ico was being requested from wasm4.org when developing locally. This won't work if the user is offline or the website goes down, etc. It also doesn't work with secure CORS headers, as it is served from another domain.
majaha · Dec 20, 2024 · 317281b · 317281b
1 parent 7246ab8
commit 317281b
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/runtimes/web/index.html b/runtimes/web/index.html
@@ -3,7 +3,7 @@
 <head>
   <meta charset="utf-8">
   <meta name="viewport" content="width=device-width, initial-scale=1, minimum-scale=1, maximum-scale=1, user-scalable=no">
-  <link rel="shortcut icon" href="https://wasm4.org/img/favicon.ico">
+  <link rel="shortcut icon" href="favicon.ico">
   <title>WASM-4 web runtime dev</title>
 </head>
 <body>

diff --git a/runtimes/web/public/favicon.ico b/runtimes/web/public/favicon.ico
@@ -0,0 +1 @@
+../../../site/static/img/favicon.ico
diff --git a/runtimes/web/public/index.html b/runtimes/web/public/index.html
@@ -3,7 +3,7 @@
 <head>
   <meta charset="utf-8">
   <meta name="viewport" content="width=device-width, initial-scale=1, minimum-scale=1, maximum-scale=1, user-scalable=no">
-  <link rel="shortcut icon" href="https://wasm4.org/img/favicon.ico">
+  <link rel="shortcut icon" href="favicon.ico">
   <title>WASM-4 Cart</title>
   <link rel="stylesheet" href="wasm4.css">
 </head>