Skip to content

server: check SHELL if (and only if) neither --sh nor --csh is specified #1106

server: check SHELL if (and only if) neither --sh nor --csh is specified

server: check SHELL if (and only if) neither --sh nor --csh is specified #1106

Annotations

3 warnings

coverage

succeeded Oct 13, 2024 in 1m 50s