This file is indexed.

/usr/share/doc/gnat-gps/html/The-remote-view.html is in gnat-gps-doc 5.0-6.

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
<html lang="en">
<head>
<title>The remote view - Using the GNAT Programming Studio</title>
<meta http-equiv="Content-Type" content="text/html">
<meta name="description" content="Using the GNAT Programming Studio">
<meta name="generator" content="makeinfo 4.13">
<link title="Top" rel="start" href="index.html#Top">
<link rel="up" href="Setup-a-remote-project.html#Setup-a-remote-project" title="Setup a remote project">
<link rel="prev" href="Remote-operations.html#Remote-operations" title="Remote operations">
<link rel="next" href="Loading-a-remote-project.html#Loading-a-remote-project" title="Loading a remote project">
<link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
<!--
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 3 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/'.-->
<meta http-equiv="Content-Style-Type" content="text/css">
<style type="text/css"><!--
  pre.display { font-family:inherit }
  pre.format  { font-family:inherit }
  pre.smalldisplay { font-family:inherit; font-size:smaller }
  pre.smallformat  { font-family:inherit; font-size:smaller }
  pre.smallexample { font-size:smaller }
  pre.smalllisp    { font-size:smaller }
  span.sc    { font-variant:small-caps }
  span.roman { font-family:serif; font-weight:normal; } 
  span.sansserif { font-family:sans-serif; font-weight:normal; } 
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>
<div class="node">
<a name="The-remote-view"></a>
<p>
Next:&nbsp;<a rel="next" accesskey="n" href="Loading-a-remote-project.html#Loading-a-remote-project">Loading a remote project</a>,
Previous:&nbsp;<a rel="previous" accesskey="p" href="Remote-operations.html#Remote-operations">Remote operations</a>,
Up:&nbsp;<a rel="up" accesskey="u" href="Setup-a-remote-project.html#Setup-a-remote-project">Setup a remote project</a>
<hr>
</div>

<h4 class="subsection">15.3.2 The remote view</h4>

<!--  -->
<p>The Remote view (<code>Tools-&gt;Views-&gt;Remote</code>) allows you to assign servers to
operation categories for the currently loaded project.  You may assign each
operation category a distinct server if the Servers assignment tab is fully
expanded. Alternatively, you may assign all categories to a single server in
one step if the Servers assignment tab is collapsed.

   <p><a name="index-screen-shot-637"></a><img src="remote-view-full.jpg" alt="remote-view-full.jpg">

<p class="noindent">When a server is selected for a particular category, the change is not
immediately effective. To indicate that fact, the server's name will appear in
red. This approach allows you to check the configuration before applying it, by
pressing the <code>Check</code> button. This action will test for correct remote hosts
connection. It will also verify that the project path exists on the build server and
that it has an equivalence on the local machine.

   <p>Clicking on the <code>Apply</code> button will perform the following actions:
     <ul>
<li>Read the default project paths on the Build machine and translate them
into local paths. 
<li>Synchronize from the build server those paths marked as Sync <code>Always</code> or <code>Once to
local</code>. 
<li>Load the translated local project. 
<li>Assign the Build, Execution and Debug servers. 
</ul>

   <p>If one of the above operations fails, corresponding errors are reported in the
<code>Messages</code> view and the previous project settings are retained.

   <p>Once a remote server is assigned, this remote configuration will be
automatically loaded each time the project is loaded.

   <p>The two buttons on the right of each server can be used to manually perform
a synchronization from the remote host to your local machine (left
button) or from your local machine to the remote host (right button).

<!--  -->
   </body></html>