feat: first-class WSL session support (supersedes #65)

README.md

@@ -33,6 +33,7 @@ Built with WPF + [xterm.js](https://xtermjs.org/) + Windows ConPTY for full pseu
 - **SSH remote sessions** — connect to remote hosts using your existing SSH config; sessions persist across restarts
 - **Windows Terminal profile import** — opt-in import of profiles from Windows Terminal's `settings.json`; pick a profile in the New Session dialog to stamp its font, color scheme, cursor and padding onto the new terminal
 - **Launch & shutdown spinners** — every starting session shows a brief overlay (`Starting <cmd>…` or `Connecting to <host>…`) until the first PTY byte arrives; closing the window shows a "Shutting down…" overlay during session disposal
+- **WSL sessions** — first-class session type for any installed WSL distro: distro picker (auto-detected via `wsl -l -v`), Linux working folder, optional `-u` user override; git status works via the `\\wsl$\<distro>` UNC view
 - **Session history** — clicking a search result from a closed session offers to relaunch it
 - **Configurable launch commands** — customise the commands available in the New Session dialog
 - **Claude badge** — sessions running `claude` commands get a visual indicator

src/CodeShellManager/Models/RecentlyClosedEntry.cs

@@ -1,6 +1,7 @@
 using System;
 using System.Collections.Generic;
 using System.Linq;
+using System.Text.Json.Serialization;
 
 namespace CodeShellManager.Models;
 
@@ -23,12 +24,47 @@ public class RecentlyClosedEntry
     public string GroupId { get; set; } = "";
     public string? ColorOverride { get; set; }
 
-    public bool IsRemote { get; set; }
+    /// <summary>
+    /// Kind of the closed session, so a reopened WSL or SSH session comes back as the same
+    /// kind instead of Local at a UNC. Legacy entries carried only <c>IsRemote</c>; see
+    /// <see cref="LegacyIsRemote"/>.
+    /// </summary>
+    public SessionKind Kind { get; set; } = SessionKind.Local;
+
+    [JsonIgnore]
+    public bool IsRemote => Kind == SessionKind.Ssh;
+
+    /// <summary>
+    /// Legacy <c>"IsRemote"</c> JSON slot — same computed-getter / backing-field-setter
+    /// split as <see cref="ShellSession.LegacyIsRemote"/> (see there for the full rationale):
+    /// written as <c>true</c> for an SSH entry, omitted for Local/Wsl, so a rollback reading
+    /// this file still sees SSH entries as remote.
+    /// </summary>
+    [JsonPropertyName("IsRemote")]
+    [JsonIgnore(Condition = JsonIgnoreCondition.WhenWritingNull)]
+    public bool? LegacyIsRemote
+    {
+        get => Kind == SessionKind.Ssh ? true : (bool?)null;
+        set => _legacyIsRemoteIncoming = value;
+    }
+
+    private bool? _legacyIsRemoteIncoming;
+
+    public void MigrateLegacyFields()
+    {
+        if (_legacyIsRemoteIncoming == true && Kind == SessionKind.Local) Kind = SessionKind.Ssh;
+        _legacyIsRemoteIncoming = null;
+    }
+
     public string SshUser { get; set; } = "";
     public string SshHost { get; set; } = "";
     public int SshPort { get; set; } = 22;
     public string SshRemoteFolder { get; set; } = "";
 
+    public string WslDistro { get; set; } = "";
+    public string WslUser { get; set; } = "";
+    public string WslWorkingFolder { get; set; } = "";
+
     public string? ProfileFontFamily { get; set; }
     public int? ProfileFontSize { get; set; }
     public string? ProfileFontWeight { get; set; }
@@ -57,11 +93,14 @@ public class RecentlyClosedEntry
         Args = s.Args,
         GroupId = s.GroupId,
         ColorOverride = s.ColorOverride,
-        IsRemote = s.IsRemote,
+        Kind = s.Kind,
         SshUser = s.SshUser,
         SshHost = s.SshHost,
         SshPort = s.SshPort,
         SshRemoteFolder = s.SshRemoteFolder,
+        WslDistro = s.WslDistro,
+        WslUser = s.WslUser,
+        WslWorkingFolder = s.WslWorkingFolder,
         ProfileFontFamily = s.ProfileFontFamily,
         ProfileFontSize = s.ProfileFontSize,
         ProfileFontWeight = s.ProfileFontWeight,
@@ -84,8 +123,14 @@ public class RecentlyClosedEntry
         ClosedAt = DateTime.UtcNow,
     };
 
-    /// <summary>Friendly subtitle for the recents UI — folder or user@host.</summary>
-    public string Subtitle => IsRemote
-        ? (string.IsNullOrWhiteSpace(SshUser) ? SshHost : $"{SshUser}@{SshHost}")
-        : WorkingFolder;
+    /// <summary>Friendly subtitle for the recents UI — kind-specific locator.</summary>
+    [JsonIgnore]
+    public string Subtitle => Kind switch
+    {
+        SessionKind.Ssh => string.IsNullOrWhiteSpace(SshUser) ? SshHost : $"{SshUser}@{SshHost}",
+        SessionKind.Wsl => string.IsNullOrEmpty(WslWorkingFolder)
+            ? WslDistro
+            : $"{WslDistro}: {WslWorkingFolder}",
+        _ => WorkingFolder,
+    };
 }

src/CodeShellManager/Models/SessionConfigDraft.cs

@@ -20,12 +20,16 @@ public sealed class SessionConfigDraft
     public string Command { get; set; } = "";
     public string Args { get; set; } = "";
 
-    // Remote
-    public bool IsRemote { get; set; }
+    // Kind + kind-specific fields. Kind is authoritative; IsRemote is a read-only view.
+    public SessionKind Kind { get; set; } = SessionKind.Local;
+    public bool IsRemote => Kind == SessionKind.Ssh;
     public string SshUser { get; set; } = "";
     public string SshHost { get; set; } = "";
     public int SshPort { get; set; } = 22;
     public string SshRemoteFolder { get; set; } = "";
+    public string WslDistro { get; set; } = "";
+    public string WslUser { get; set; } = "";
+    public string WslWorkingFolder { get; set; } = "";
 
     // Appearance overrides — null means "use the global terminal settings"
     public string? ProfileFontFamily { get; set; }
@@ -46,7 +50,10 @@ public sealed class SessionConfigDraft
         WorkingFolder = s.WorkingFolder,
         Command = s.Command,
         Args = s.Args,
-        IsRemote = s.IsRemote,
+        Kind = s.Kind,
+        WslDistro = s.WslDistro,
+        WslUser = s.WslUser,
+        WslWorkingFolder = s.WslWorkingFolder,
         SshUser = s.SshUser,
         SshHost = s.SshHost,
         SshPort = s.SshPort,