We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 4030212 + c35a613 commit cce34a8Copy full SHA for cce34a8
src/extension.ts
@@ -188,6 +188,9 @@ function registerCommands(
188
vscode.commands.registerCommand("scorpio.displayedExercise.clone", async () => {
189
try {
190
await cloneCurrentExercise();
191
+ // In Theia mode the repo is cloned into the workspace as a subfolder,
192
+ // so we can detect it immediately and update repoKey without a round-trip.
193
+ await detectRepoCourseAndExercise();
194
await realtimeSync.refreshNow();
195
} catch (e) {
196
_errorMessage(e, LogLevel.ERROR, "Failed to clone repository");
0 commit comments