What would you like to be added?

Currently, removing an extension requires the command /extensions uninstall . While technically accurate, many users (including myself) instinctively attempt to use the keyword delete when trying to remove an item.

The absence of a delete command creates a minor friction point in the user workflow, requiring the user to stop and remember the specific "uninstall" terminology.

Proposed Solution
I suggest adding a delete command as a functional alias for uninstall. This would allow both /extensions uninstall and /extensions delete to perform the same action, improving the developer experience and accommodating common muscle memory.

Implementation Details
This can be implemented with a minor change to src/ui/commands/extensionsCommand.ts.

In extensionsCommand.ts, we can define deleteCommand by reusing the existing uninstallAction and completeExtensions functions:

const uninstallCommand: SubCommand = {
    name: 'uninstall',
    description: 'Uninstall an extension',
    kind: CommandKind.BUILT_IN,
    autoExecute: false,
    action: uninstallAction,
    completion: completeExtensions,
};

// Add the alias definition
const deleteCommand: SubCommand = {
    name: 'delete',
    description: 'Delete an extension (alias for uninstall)',
    kind: CommandKind.BUILT_IN,
    autoExecute: false,
    action: uninstallAction,
    completion: completeExtensions,
};

Add deleteCommand to the conditionalCommands array within the extensionsCommand export function:

export function extensionsCommand(enableExtensionReloading: boolean): Command {
    const conditionalCommands = enableExtensionReloading
        ? [
            disableCommand,
            enableCommand,
            installCommand,
            uninstallCommand,
            deleteCommand, // Register the alias here
          ]
        : [ ... ];
    // ...
}

Why is this needed?

I'd like to request adding a delete subcommand to the /extensions menu that acts as a direct alias for the existing uninstall action.

Running /extensions delete <extension-name> should perform the exact same operation and use the same completion logic as /extensions uninstall <extension-name>.

The alternative is sticking strictly to uninstall, but adding the alias improves the CLI's ergonomics and user experience with minimal code footprint.

Additional context

This can be implemented quite easily in the extensionsCommand.js (or .ts) file by duplicating the uninstallCommand object as deleteCommand, changing its name and description, and pushing it to the subCommands list alongside uninstall.