Next: Configuring rsync usage, Previous: Defining a remote connection tool, Up: Remote programming customization
Several shells are already defined in GPS: sh, bash, csh, tcsh and
cmd.exe (Windows). It is possible to add other shells, using the node
remote_shell_config.
The attributes for this node are:
name (string) (mandatory)The following children are defined:
start_command (mandatory)generic_prompt (optional)gps_prompt (mandatory)filesystem (mandatory)unix or windows. This is the
filesystem used by the shell.
init_commands (optional)cmd child contains a command used to
initialise a new session.
exit_commands (optional)cmd child contains a command used to
exit a session.
no_echo_command (optional)cd_command (mandatory)%d is replaced by the
directory's full name.
get_status_command (mandatory)get_status_ptrn (mandatory)get_status_command. A pair of parenthesis is required, and
identifies the status.