Theia API Documentation v1.65.0
    Preparing search index...
    • Converts a list of args into an escaped shell command.

      There are two main use cases when handling command/arguments for a shell:

      1. User already wrote the escaped commandline, then just use that.
      2. User wants a specific process to be invoked with some arguments.

      The createShellCommandLine function is useful for the latter.

      Parameters

      • args: (string | ShellQuotedString)[]

        Standard list of spawn/exec arguments, first item is the command.

      • OptionalquotingFunctions: ShellQuotingFunctions

        Collection of functions to process arguments.

      Returns string