pijul nest
guest › [sign in] [explore]
{/} code [~] changes [>] discussions [*] jobs

Fork channel

Create a new channel as a copy of main.

Rename channel

Rename main to:

Delete channel

Delete main? This cannot be undone.

check-not-diaginfo.txt
; RUN: %ProtectFileCheckOutput not FileCheck --input-file %s %s 2>&1 \
; RUN:   | FileCheck --strict-whitespace --check-prefix DIAG %s

CHECK-NOT: test

DIAG:           error: CHECK-NOT: excluded string found in input
DIAG-NEXT:      CHECK-NOT: test
DIAG-NEXT: {{^}}           ^{{$}}
DIAG-NEXT:      note: found here
DIAG-NEXT:      CHECK-NOT: test
DIAG-NEXT: {{^}}           ^~~~{{$}}