[mikercampbell]

I think they’re using shell as the loose term for “shell script”, as in scripts you run in a shell.