gnat-gps-doc 5.0-16 / usr / share / doc / gnat-gps / html / Connection-settings.html

This file is indexed.

/usr/share/doc/gnat-gps/html/Connection-settings.html is in gnat-gps-doc 5.0-16.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below. 

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<!-- Copyright (C) 2002-2010 AdaCore.

This document is free; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.

This document is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License along
with this program; if not, see http://www.gnu.org/licenses/.

A copy of the license is included in the section entitled
"GNU General Public License". -->
<!-- Created by GNU Texinfo 5.1, http://www.gnu.org/software/texinfo/ -->
<head>
<title>Using the GNAT Programming Studio: Connection settings</title>

<meta name="description" content="Using the GNAT Programming Studio: Connection settings">
<meta name="keywords" content="Using the GNAT Programming Studio: Connection settings">
<meta name="resource-type" content="document">
<meta name="distribution" content="global">
<meta name="Generator" content="makeinfo">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<link href="index.html#Top" rel="start" title="Top">
<link href="Index-table.html#Index-table" rel="index" title="Index table">
<link href="Setup-the-remote-servers.html#Setup-the-remote-servers" rel="up" title="Setup the remote servers">
<link href="Paths-settings.html#Paths-settings" rel="next" title="Paths settings">
<link href="The-remote-configuration-dialog.html#The-remote-configuration-dialog" rel="previous" title="The remote configuration dialog">
<style type="text/css">
<!--
   

a.summary-letter {text-decoration: none}
blockquote.smallquotation {font-size: smaller}
div.display {margin-left: 3.2em}
div.example {margin-left: 3.2em}
div.indentedblock {margin-left: 3.2em}
div.lisp {margin-left: 3.2em}
div.smalldisplay {margin-left: 3.2em}
div.smallexample {margin-left: 3.2em}
div.smallindentedblock {margin-left: 3.2em; font-size: smaller}
div.smalllisp {margin-left: 3.2em}
kbd {font-style:oblique}
pre.display {font-family: inherit}
pre.format {font-family: inherit}
pre.menu-comment {font-family: serif}
pre.menu-preformatted {font-family: serif}
pre.smalldisplay {font-family: inherit; font-size: smaller}
pre.smallexample {font-size: smaller}
pre.smallformat {font-family: inherit; font-size: smaller}
pre.smalllisp {font-size: smaller}
span.nocodebreak {white-space:nowrap}
span.nolinebreak {white-space:nowrap}
span.roman {font-family:serif; font-weight:normal}
span.sansserif {font-family:sans-serif; font-weight:normal}
ul.no-bullet {list-style: none}
pre.smallexample {background-color:rgb(240,240,240);
                     font-family: courier new,courier,fixed;
                     font-size: 14px;
                     margin: 0px 40px 0px 40px;
                     border-width: 1px 2px 2px 1px;
                     border-top-style: dotted;
                     border-left-style: dotted;
                     border-right-style: solid;
                     border-bottom-style: solid;
                     border-color: black;}
   code             {color:black;
                     font-family: courier new,courier,fixed;
                     font-size: 14px;}
   body             {font-family: arial,helvetica,sans-serif;
                     font-size: 16px;
                     max-width: 800px;
                     text-align: justify}
   samp             {font-family: courier new,courier,fixed;
                     font-size: 14px}
                    

-->
</style>


</head>

<body lang="en" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
<a name="Connection-settings"></a>
<div class="header">
<p>
Next: <a href="Paths-settings.html#Paths-settings" accesskey="n" rel="next">Paths settings</a>, Previous: <a href="The-remote-configuration-dialog.html#The-remote-configuration-dialog" accesskey="p" rel="previous">The remote configuration dialog</a>, Up: <a href="Setup-the-remote-servers.html#Setup-the-remote-servers" accesskey="u" rel="up">Setup the remote servers</a> &nbsp; [<a href="Index-table.html#Index-table" title="Index" rel="index">Index</a>]</p>
</div>
<hr>
<a name="Connection-settings-1"></a>
<h4 class="subsection">15.2.2 Connection settings</h4>

<p>The first configuration part that needs to be filled concerns the way
we will connect to this server:
</p>
<p>You have to enter first all mandatory fields, identified by an asterisk:
</p><ul>
<li> The network name is the name used to connect to this server via your network.
It can be either an IP address, a host name of your local network, or a fully
qualified network name.
</li><li> The remote access tool is the tool used to connect to this server. You select
it using the drop down list. The following tools are supported natively by
GPS: ssh, rsh, telnet and plink (Windows tool) in ssh, rsh or telnet mode.
See <a href="Defining-a-remote-connection-tool.html#Defining-a-remote-connection-tool">Defining a remote connection tool</a>, if you need to add a
specific tool.
Note also that if one of those tools is not installed (e.g. is not in
your path), then it won&rsquo;t appear in the tools list. Some tools incompatible
with GPS will not be displayed either, such as the Microsoft telnet client.
</li><li> The shell tells GPS what shell runs on the remote server. The following unix
shells are supported by GPS: sh, bash, csh and tcsh. Windows&rsquo; shell is also
supported (cmd.exe). See <a href="Limitations.html#Limitations">Limitations</a>, for cygwin&rsquo;s shell usage on
windows: it is preferable to use cmd.exe as a remote shell on Windows servers.
</li></ul>

<p>Other fields might need to be taken into consideration, but they are not
mandatory. They are, for the most part, accessible through the advanced
configuration pane.
</p>
<ul>
<li> The remote sync tool is used to synchronize remote and local filesystems, if
these are not shared filesystems. For now, only rsync is supported.
</li><li> The Extra Init Commands field represents initialization commands sent to the
server upon connection: when GPS connects to your remote machine, the chosen
shell is launched, and your default initialization files are read (i.e. .bashrc
file for the bash shell). Then GPS sends these extra init commands, allowing
you for example to specify a compilation toolchain.
</li><li> (In Advanced configuration pane) The user name specifies the name used to
connect to the server. If unspecified, the remote access tool will typically
use your current login name. If not, and a user name is requested, GPS will
prompt you for a user name.
</li><li> (In Advanced configuration pane) The timeout value is used to determine if a connection to a remote host is
dead. All elementary operations performed on the remote host (i.e., operations
that normally complete almost immediately) will use this timeout value. By
default, this value is set to 10s. If you have a very slow network connection
or a very overloaded server, set this timeout to a higher value.
</li><li> (In Advanced configuration pane) The maximum number of connections determines the maximum number of simultaneous
connections GPS is allowed to have to this server. In fact, if you want to
compile, debug and execute at the same time on the machine, GPS will need
more that one connection to do this. The default value is 3.
</li><li> (In Advanced configuration pane) Depending on the kind of server and the remote
access tool used, commands sent to the server may require a specific line terminator,
i.e., either the LF character or CR/LF characters. Usually GPS can automatically detect what is needed
(the &rsquo;auto&rsquo; mode), but the choice can be forced to CR/LF (cr/lf handling
set to &rsquo;on&rsquo;) or LF (cr/lf handling set to &rsquo;off&rsquo;).
</li><li> (In Advanced configuration pane) The Debug console allows you to easily
debug a remote connection. If checked, it will open a console
reporting all exchanges between GPS and the selected server.
</li></ul>

<hr>
<div class="header">
<p>
Next: <a href="Paths-settings.html#Paths-settings" accesskey="n" rel="next">Paths settings</a>, Previous: <a href="The-remote-configuration-dialog.html#The-remote-configuration-dialog" accesskey="p" rel="previous">The remote configuration dialog</a>, Up: <a href="Setup-the-remote-servers.html#Setup-the-remote-servers" accesskey="u" rel="up">Setup the remote servers</a> &nbsp; [<a href="Index-table.html#Index-table" title="Index" rel="index">Index</a>]</p>
</div>



</body>
</html>

APT Browse - Built by Thomas Orozco.