This file is indexed.

/usr/share/bibledit-gtk/site/gtk/reference/menu/menu-preferences/dialog-remote-repository.html is in bibledit-gtk-data 4.9-1.

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
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <link href="../../../../bibledit.css" rel="stylesheet" type="text/css" /><!-- 

Copyright (©) 2003-2011 Teus Benschop and Contributors to the Wiki.

Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.3
or any later version published by the Free Software Foundation;
with no Invariant Sections, no Front-Cover Texts, and no Back-Cover
Texts.  A copy of the license is included in the section entitled "GNU
Free Documentation License" in the file FDL.

-->
    <title></title>
  </head>
  <body>
    <div id="menu">
      <ul>
        <li>
          <a href="../../../../home.html">1 Bibledit</a>
        </li>
        <li>
          <a href="../menu-preferences.html">Menu-preferences</a>
        </li>
        <li style="list-style: none; display: inline">
          <hr />
        </li>
        <li>
          <a href="filters.html">Filters</a>
        </li>
        <li>
          <a href="planning-setup.html">Planning</a>
        </li>
        <li>
          <a href="project-notes.html">Project notes</a>
        </li>
        <li>Remote Repository
        </li>
        <li>
          <a href="text-replacement.html">Text replacement</a>
        </li>
        <li>
          <a href="tidy-text.html">Tidy Text</a>
        </li>
        <li>
          <a href="user-interface.html">User interface</a>
        </li>
        <li>
          <a href="windows-outpost.html">Windows Outpost</a>
        </li>
      </ul>
    </div>
    <div id="content">
      <h1>
        Remote Repository
      </h1>
      <p>
        The Remote Repository Setup Assistant can be reached through menu Preferences / Remote repository.
      </p>
      <p>
        See <a href="https://sites.google.com/site/bibledit/gtk/tutorials/collaboration">Collaboration</a> for information about what this repository is used for.
      </p>
      <h3>
        <a name="useremoterepository" href="" id="useremoterepository"></a>Use remote repository
      </h3>
      <p>
        This setting allows several people to work together on one project.
      </p>
      <p>
        Several other settings have to be made, as described below.
      </p>
      <h3>
        <a name="tryingoutthecontenttracker" href="" id="tryingoutthecontenttracker"></a>Trying out the content tracker
      </h3>
      <p>
        The setup assistant will test the content tracker, whether it is able to perform everything that is needed. Normally the test passes, and you can go forward.
      </p>
      <h3>
        <a name="actionselector" href="" id="actionselector"></a>Action selector
      </h3>
      <p>
        In the next page select which action you'd like to take. For a first repository setup, the default action should be chosen.
      </p>
      <h3>
        <a name="repository" href="" id="repository"></a>Repository
      </h3>
      <p>
        This is the URL of the repository that Bibledit is going to use. Your system administrator should give you the URL that ought to be filled in here.
      </p>
      <p>
        Example URLs:
      </p>
      <p>
        git://biblerepository.com/projects/myproject
      </p>
      <p>
        git://localhost/repository
      </p>
      <p>
        file:///home/joe/repositories/myproject
      </p>
      <p>
        The path should point to an already existing repository, created by the system administrator.
      </p>
      <p>
        If the repository has been set, the dialog will indicate whether read access to the repository has been granted.
      </p>
      <h3>
        <a name="clonerepository" href="" id="clonerepository"></a>Clone repository
      </h3>
      <p>
        Press the button to clone the remote repository.
      </p>
      <h3>
        <a name="writeaccess" href="" id="writeaccess"></a>Write access
      </h3>
      <p>
        If write access has been granted, then things should work fine.
      </p>
      <h3>
        <a name="pushtorepository" href="" id="pushtorepository"></a>Push to repository
      </h3>
      <p>
        Normally this step will be skipped. But if you really like your data to be pushed into the repository, or if the repository is still empty, then press the button to push your data to the repository. Use with care because it wipes out anything in the repository, and replaces it with your data.
      </p>
      <h3>
        <a name="updatefrequency" href="" id="updatefrequency"></a>
      </h3>
      <h3>
        <a name="conflicthandling" href="" id="conflicthandling"></a>Conflict handling
      </h3>
      <p>
        When two users make changes in one line in one verse, and the changes are not compatible, then a conflict will occur. Bibledit will resolve this conflict for you. Settings for that are made in this dialog. You can give preference to "the local data". This means that the data of the other user is lost. Or you can give preference to "the data in the remote repository". This means that your own changes will be overwritten with the changes that are on the server, which actually means that the changes the other user made overwrite your own changes.
      </p>
      <p>
        When two users make changes in different verses of the same chapter, at the same time, Bibledit will merge those changes.
      </p>
      <h3>
        <a name="applyingthechanges" href="" id="applyingthechanges"></a>Applying the changes
      </h3>
      <p>
        Keep pressing the "Forward" button and at the end "Apply" the settings.
      </p>
    </div>
  </body>
</html>