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

Merged

ueno merged 1 commit intop11-glue:masterfrom alanc:shell

Oct 13, 2024

+8-8

Commits on Oct 11, 2024

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