Theia API Documentation v1.65.0
    Preparing search index...
    • Convert a signal number to its short name (using the signal definitions of the current host). Should never be called on Windows. For Linux, this is only valid for the x86 and ARM architectures, since other architectures may use different numbers, see signal(7).

      Parameters

      • sig: number

      Returns string