Use the backend ExternalTerminalService to establish the schema for the ExternalTerminalPreferences.
ExternalTerminalPreferences
the external terminal backend service.
a preference schema with the OS default exec set by the backend service.
Use the backend ExternalTerminalService to establish the schema for the
ExternalTerminalPreferences
.