Don't redirect all anchors to https://gitpod.io/#, only what looks like URLs

jankeromnes · jankeromnes · commit 21130d131d35 · 2020-09-23T10:18:19.000Z
diff --git a/src/html.js b/src/html.js
@@ -14,7 +14,7 @@ export default function HTML(props) {
         <script
             dangerouslySetInnerHTML={{
                 __html: `
-                        if (location.pathname.length <= 1 && location.hash.length > 0) {
+                        if (location.pathname.length <= 1 && location.hash.indexOf("https://") > -1) {
                             window.location.replace("https://gitpod.io/" + window.location.hash);
                         }
                     `,

Original file line number	Diff line number	Diff line change
`@@ -14,7 +14,7 @@ export default function HTML(props) {`
`14`	`14`	`<script`
`15`	`15`	`dangerouslySetInnerHTML={{`
`16`	`16`	__html: `
`17`		`- if (location.pathname.length <= 1 && location.hash.length > 0) {`
	`17`	`+ if (location.pathname.length <= 1 && location.hash.indexOf("https://") > -1) {`
`18`	`18`	`window.location.replace("https://gitpod.io/" + window.location.hash);`
`19`	`19`	`}`
`20`	`20`	`,