/usr/share/doc/gnat-gps/html/Files.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 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 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 | <html lang="en">
<head>
<title>Files - 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="Environment.html#Environment" title="Environment">
<link rel="prev" href="Running-GPS-on-Mac-OS-X.html#Running-GPS-on-Mac-OS-X" title="Running GPS on Mac OS X">
<link rel="next" href="Reporting-Suggestions-and-Bugs.html#Reporting-Suggestions-and-Bugs" title="Reporting Suggestions and Bugs">
<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="Files"></a>
<p>
Next: <a rel="next" accesskey="n" href="Reporting-Suggestions-and-Bugs.html#Reporting-Suggestions-and-Bugs">Reporting Suggestions and Bugs</a>,
Previous: <a rel="previous" accesskey="p" href="Running-GPS-on-Mac-OS-X.html#Running-GPS-on-Mac-OS-X">Running GPS on Mac OS X</a>,
Up: <a rel="up" accesskey="u" href="Environment.html#Environment">Environment</a>
<hr>
</div>
<h3 class="section">17.4 Files</h3>
<p><a name="index-files-929"></a><!-- -->
<p class="noindent">
<dl>
<dt><samp><span class="file">$HOME/.gps</span></samp><dd><a name="index-Windows-930"></a><a name="index-HOME-931"></a>GPS state directory. Defaults to C:\.gps under Windows systems if HOME or
USERPROFILE environment variables are not defined.
<br><dt><samp><span class="file">$HOME/.gps/log</span></samp><dd><a name="index-log-932"></a><a name="log-file"></a>Log file created automatically by GPS.
When GPS is running, it will create a file named <samp><span class="file">log.<pid></span></samp>, where
<samp><span class="file"><pid></span></samp> is the GPS process id, so that multiple GPS sessions do not
clobber each other's log. In case of a successful session, this
file is renamed <samp><span class="file">log</span></samp> when exiting; in case of an unexpected exit
(a bug box will be displayed), the log file is kept under its original name.
<p>Note that the name of the log file is configured by the <samp><span class="file">traces.cfg</span></samp>
file.
<br><dt><samp><span class="file">$HOME/.gps/aliases</span></samp><dd><a name="index-aliases-933"></a>File containing the user-defined aliases (see <a href="Defining-text-aliases.html#Defining-text-aliases">Defining text aliases</a>).
<br><dt><samp><span class="file">$HOME/.gps/plug-ins</span></samp><dd>Directory containing files with user-defined plug-ins.
All xml and python files found under this directory are loaded by GPS during
start up.
You can create/edit these files to add your own menu/tool-bar entries in GPS,
or define support for new languages.
see <a href="Customizing-through-XML-and-Python-files.html#Customizing-through-XML-and-Python-files">Customizing through XML and Python files</a> and
see <a href="Adding-support-for-new-languages.html#Adding-support-for-new-languages">Adding support for new languages</a>.
<br><dt><samp><span class="file">$HOME/.gps/keys.xml</span></samp><dd>Contains all the key bindings for the actions defined in GPS or in the
custom files. This only contains the key bindings overridden through the
key shortcuts editor (see <a href="The-Key-Manager-Dialog.html#The-Key-Manager-Dialog">The Key Manager Dialog</a>).
<br><dt><samp><span class="file">$HOME/.gps/gtkrc</span></samp><dd><a name="index-Dynamic-Key-Binding-934"></a><a name="index-gtkrc-935"></a>Configuration and theme file for gtkrc. This file can be edited to activate
gtk+ specific aspects, or change the look of GPS in some measure. Mostly,
everything can be done through the standard GPS preferences, but this file
can be used to get access to the old GPS preference "Dynamic Key Binding".
This preference activated a gtk+ behavior were key shortcuts for menu can be
changed by simply pressing the appropriate key combination when the mouse is
over that menu. It has various dangereous aspects and is not fully supported
by GPS, so was removed as a preference, but you can add the following line
in <samp><span class="file">gtkrc</span></samp> to get this back:
<pre class="smallexample"> gtk-can-change-accels=1
</pre>
<br><dt><samp><span class="file">$HOME/.gps/actions.xml</span></samp><dd>Contains the definition of all the actions that were defined through the
graphical interface. This is loaded last, and overrides all actions defined
elsewhere.
<br><dt><samp><span class="file">$HOME/.gps/perspectives.xml</span></samp><dd>Desktop file in XML format (using the menu <code>File->Save More->Desktop</code>),
loaded automatically if found.
<br><dt><samp><span class="file">$HOME/.gps/locations.xml</span></samp><dd>This file contains the list of locations that GPS has previously edited. It
corresponds to the history navigation (<code>Navigate->Back</code> and
<code>Navigate->Forward</code>)
<br><dt><samp><span class="file">$HOME/.gps/properties.xml</span></samp><dd>This file is used to store file-specific properties across GPS sessions. In
particular, it contains the encoding to use for various files when the
default encoding isn't appropriate.
<br><dt><samp><span class="file">$HOME/.gps/histories.xml</span></samp><dd><a name="index-history-936"></a>Contains the state and history of combo boxes (e.g. the
<code>Run->Custom...</code> dialog).
<br><dt><samp><span class="file">$HOME/.gps/targets.xml</span></samp><dd><a name="index-targets-937"></a>Contains the build targets defined by the user.
<br><dt><samp><span class="file">$HOME/.gps/preferences</span></samp><dd><a name="index-preferences-938"></a>Contains all the preferences in XML format, as specified in the
preferences menu.
<br><dt><samp><span class="file">$HOME/.gps/traces.cfg</span></samp><dd>Default configuration for the system traces. These traces are used to analyze
problems with GPS.
By default, they are sent to the file <samp><span class="file">$HOME/.gps/log.<pid></span></samp>.
<p>This file is created automatically when the <samp><span class="file">$HOME/.gps/</span></samp> directory is
created. If you remove it manually, it won't be recreated the next time you
start GPS.
<br><dt><samp><span class="file">$HOME/.gps/startup.xml</span></samp><dd>This file contains the list of scripts to load at startup, as well as
additional code that need to be executed to setup the script.
<br><dt><samp><span class="file">$HOME/.gpe/activity_log.tmplt</span></samp><dd>Template file used to generate activities' group commit-log and patch
file's header. If not present the system wide template (see below) is
used. The set of configurable tags are described into this template.
<a name="index-activity-log-template-939"></a><a name="index-activity_002c-log-template-940"></a>
<br><dt><samp><i>prefix</i></samp><dd>The prefix directory where GPS is installed, e.g <samp><span class="file">/opt/gps</span></samp>.
<br><dt><samp><i>prefix</i><span class="file">/bin</span></samp><dd>The directory containing the GPS executables.
<br><dt><samp><i>prefix</i><span class="file">/etc/gps</span></samp><dd>The directory containing global configuration files for GPS.
<br><dt><samp><i>prefix</i><span class="file">/lib</span></samp><dd>This directory contains the shared libraries used by GPS.
<br><dt><samp><i>prefix</i><span class="file">/share/doc/gps/html</span></samp><dd>GPS will look for all the documentation files under this directory.
<br><dt><samp><i>prefix</i><span class="file">/share/examples/gps</span></samp><dd>This directory contains source code examples.
<br><dt><samp><i>prefix</i><span class="file">/share/examples/gps/language</span></samp><dd>This directory contains sources showing how to provide a shared library to
dynamically define a new language. See <a href="Adding-support-for-new-languages.html#Adding-support-for-new-languages">Adding support for new languages</a>.
<br><dt><samp><i>prefix</i><span class="file">/share/examples/gps/tutorial</span></samp><dd>This directory contains the sources used by the GPS tutorial.
<a name="index-url-941"></a>See <a href="/usr/share/doc/gnat-gps/tutorial.html">/usr/share/doc/gnat-gps/tutorial.html</a>.
<br><dt><samp><i>prefix</i><span class="file">/share/gps/plug-ins</span></samp><dd>Directory containing files with system-wide plug-ins (xml and python files)
loaded automatically at start-up.
<br><dt><samp><i>prefix</i><span class="file">/share/gps/library</span></samp><dd>Directory containing files with system-wide plug-ins (xml and python files)
that are not loaded automatically at startup, but can be selected in the
Plug-ins editor.
<br><dt><samp><i>prefix</i><span class="file">/share/gps/gps-animation.png</span></samp><dd><a name="index-png-942"></a>Default image displayed in the top right corner of GPS when GPS is idle.
<br><dt><samp><i>prefix</i><span class="file">/share/gps/gps-animation.gif</span></samp><dd><a name="index-gif-943"></a>Animated image displayed in the top right corner of GPS to indicate that
actions (e.g compilation) are on going. If you remove this file, the idle
image (<samp><span class="file">gps-animation.png</span></samp>) will always be displayed.
<br><dt><samp><i>prefix</i><span class="file">/share/gps/gps-splash.png</span></samp><dd><a name="index-png-944"></a>Splash screen displayed by default when GPS is started.
<br><dt><samp><i>prefix</i><span class="file">/share/gps/perspectives.xml</span></samp><dd><a name="index-default-desktop-945"></a><a name="index-desktop_002c-default-946"></a>This is the description of the default desktop that GPS uses when the user
hasn't defined his own default desktop and no project specific desktop exists.
You can modify this file if you want, knowing that this will impact all users
of GPS sharing this installation.
The format of this file is the same as $HOME/.gps/perspectives.xml, which can be
copied from your own directory if you wish.
<br><dt><samp><i>prefix</i><span class="file">/share/gps/default.gpr</span></samp><dd><a name="index-default-project-947"></a>Default project used by GPS. Can be modified after installation time to
provide useful default for a given system or project.
<br><dt><samp><i>prefix</i><span class="file">/share/gps/readonly.gpr</span></samp><dd>Project used by GPS as the default project when working in a read-only
directory.
<br><dt><samp><i>prefix</i><span class="file">/share/gps/activity_log.tmplt</span></samp><dd>Template file used by default to generate activities' group commit-log
and patch file's header. This file can be copied into user home
directory and customized (see above).
<br><dt><samp><i>prefix</i><span class="file">/share/locale</span></samp><dd>Directory used to retrieve the translation files, when relevant.
</dl>
<!-- -->
</body></html>
|