Revision history [back]

Personally I would understand "user code" to mean a Python script or a C++ program or something else written in a programming language.

The terminal would not fall into that category.

It's a bit of a gray area though, as a shell script (which typically uses the same scripting language as your shell understands) would be considered "user code". The difference would be that you'd not be typing it interactively at the terminal prompt.