Method push

Extension/src/Utility/Process/streams.ts:326–335

(line?: string)

    }

    private push(line?: string) {
        if (this.#partial !== undefined) {
            this.#partial = this.#partial.trimEnd();
            this.#buffer.push(this.#partial);
            for (const pipe of this.#pipes) {
                void pipe.writeln(this.#partial);
            }
        }
        this.#partial = line;
    }

    /** processes a chunk from the stream */
    private readChunk(chunk: Buffer) {