From b7cea553cd125cd985cce619f090b2a4adbacb78 Mon Sep 17 00:00:00 2001
From: Fred Sauer <fredsa@google.com>
Date: Tue, 7 Apr 2026 21:42:48 -0700
Subject: [PATCH] Fix windows ability to checkout project #201

Avoid ':' in filenames by stripping 'remote:'
file extension prefix:
- Rename `skeleton.remote:llvm-mos`
  to `skeleton.llvm-mos`, which allow Windows
  users to once again checkout the repo.
- Update `getSkeletonFile` to strip 'remote:'.
---
 presets/vcs/{skeleton.remote:llvm-mos => skeleton.llvm-mos} | 0
 src/ide/ui.ts                                               | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename presets/vcs/{skeleton.remote:llvm-mos => skeleton.llvm-mos} (100%)

diff --git a/presets/vcs/skeleton.remote:llvm-mos b/presets/vcs/skeleton.llvm-mos
similarity index 100%
rename from presets/vcs/skeleton.remote:llvm-mos
rename to presets/vcs/skeleton.llvm-mos
diff --git a/src/ide/ui.ts b/src/ide/ui.ts
index 3e016724..92485c83 100644
--- a/src/ide/ui.ts
+++ b/src/ide/ui.ts
@@ -489,7 +489,7 @@ function reloadProject(id: string) {
 }
 
 async function getSkeletonFile(fileid: string): Promise<string> {
-  var ext = platform.getToolForFilename(fileid);
+  var ext = platform.getToolForFilename(fileid).replace(/^remote:/, "");
   try {
     return await $.get("presets/" + getBasePlatform(platform_id) + "/skeleton." + ext, 'text');
   } catch (e) {