diff --git a/index.html b/index.html index 0d1a2eea..afc2b181 100644 --- a/index.html +++ b/index.html @@ -118,6 +118,17 @@ if (window.location.host.endsWith('8bitworkshop.com')) { +
+ diff --git a/src/services.ts b/src/services.ts index 4b46d154..c43a9e52 100644 --- a/src/services.ts +++ b/src/services.ts @@ -197,7 +197,7 @@ export class GithubService { } // check README for proper platform // unless we use githubURL= - const re8plat = /8bitworkshop.com[^)]+platform=(\w+)/; + const re8plat = /8bitworkshop.com[^)]+platform=([A-Za-z0-9._\-]+)/; m = re8plat.exec(readme); if (m) { console.log("platform id: '" + m[1] + "'");