index.php 18 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333
  1. <?php
  2. /*
  3. Download page
  4. Copyright (C) 2015 Leah Woods <info@minifree.org>
  5. This program is free software: you can redistribute it and/or modify
  6. it under the terms of the GNU Affero General Public License as
  7. published by the Free Software Foundation, either version 3 of the
  8. License, or (at your option) any later version.
  9. This program is distributed in the hope that it will be useful,
  10. but WITHOUT ANY WARRANTY; without even the implied warranty of
  11. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  12. GNU Affero General Public License for more details.
  13. You should have received a copy of the GNU Affero General Public License
  14. along with this program. If not, see <http://www.gnu.org/licenses/>.
  15. */
  16. header('Content-type: text/html; charset=utf-8');
  17. ob_start();
  18. include_once "../common/variables.php";
  19. include_once "../common/functions.php";
  20. ?>
  21. <!DOCTYPE html>
  22. <html>
  23. <head>
  24. <link rel="stylesheet" type="text/css" href="../common/css/main.css" />
  25. <title><?php echo gettext("Information for libreboot developers and contributors"); ?></title>
  26. </head>
  27. <body>
  28. <div>
  29. <h1 id="pagetop"><?php echo gettext("Information for libreboot developers and contributors"); ?></h1>
  30. <p>
  31. Useful information, related to libreboot development, including links to the Git repositories where
  32. development is done.
  33. </p>
  34. <ul class="c">
  35. <li><a href="#howtohelp">How can I help the libreboot project?</a></li>
  36. <li><a href="#guidelines">General guidelines for submitting patches</a></li>
  37. <li><strong><a href="#download">How to download from the Git repository</a></strong></li>
  38. <li><strong><a href="#sendpatch">How to submit your patches</a></strong></li>
  39. <li><a href="#githosting">List of recommended Git hosting providers</a></li>
  40. <li><strong><a href="#contrib">How to use git, for creating patches</a></strong></li>
  41. </ul>
  42. <p><a href="../"><?php echo gettext("Back to home page"); ?></a></p>
  43. </div>
  44. <div>
  45. <h2 id="howtohelp">How can I help the libreboot project? <span class="r"><a href="#howtohelp">#howtohelp</a></span></h2>
  46. <p>
  47. <strong>At any given time, here is a list of tasks if there are any, for the next stable release of libreboot:
  48. <a href="../download/#tasks">click here</a></strong>
  49. </p>
  50. <p>
  51. There are many ways that you can assist the libreboot project. We have a <a href="../download/#tasks">list of tasks that need to be completed</a>,
  52. which you can work on (you can also add to that list). Generally speaking, adding support for more hardware is a priority for the libreboot project.
  53. Information about maintaining libreboot can be found <a href="../docs/maintain/index.html">here</a> and building libreboot <a href="../docs/git/index.html">here</a>.
  54. </p>
  55. <p>
  56. We especially need more skilled coreboot hackers to do work that will benefit the libreboot project. This includes porting new boards to coreboot, which are likely to be valid candidates for libreboot.
  57. </p>
  58. <p>
  59. Learn libreboot from the inside out; download the git repository, and study libreboot. We need more full-time developers
  60. who can help to maintain the project.
  61. </p>
  62. <p>
  63. Not a developer? You can still help!
  64. </p>
  65. <ul class="c">
  66. <li>Work towards convincing hardware manufacturers and designers to start caring about free software. Perhaps even build your own hardware.</li>
  67. <li>Spread the word about libreboot! Tell your friends about it, and talk about it on public internet-based discussion networks (e.g. <em>social networks</em>).</li>
  68. <li>Install and use libreboot yourself, showing it to others and promoting it that
  69. way. <a href="../suppliers/">Computers with libreboot preinstalled are also available</a>, which helps to fund the libreboot project.</li>
  70. <li>Help others to install libreboot. For example, organize an installation workshop at your local GNU/Linux users group or local meeting place.</li>
  71. <li>Assist with improving the libreboot documentation, so that others may find it easier to use.</li>
  72. </ul>
  73. </div>
  74. <div>
  75. <h2 id="guidelines">General guidelines for submitting patches <span class="r"><a href="#guidelines">#guidelines</a></span></h2>
  76. <p>
  77. Some people put their name on their work, for recognition, and it's OK if you want to do that; however, the libreboot project does not require this. Some projects
  78. (such as coreboot) require a legal name, and this can be problematic for certain groups of people.
  79. </p>
  80. <p>
  81. Using your legal name is <strong>not</strong> required when submitting patches to libreboot. For reasons why we have this policy, read <a href='http://geekfeminism.org/2012/09/29/quick-hit-how-git-shows-the-patriarchal-nature-of-the-software-industry/'>this article</a>. You can use any name of your choosing, or your company name (if you have one), if you want or need to do that. You can also
  82. submit patches <em>without a name</em>, if you want or need to do that (instructions are provided on this page). Also, read <a href='http://www.kalzumeus.com/2010/06/17/falsehoods-programmers-believe-about-names/'>this article</a>. Unfortunately, git appears to be stuck with these problems, when an author changes their name, and we don't have a concrete answer to it.
  83. As far as we know, publishing your legal name isn't even required for copyright purposes; in fact, &quot;pen&quot; names are commonly used by literary authors (computer programs are literary works).
  84. </p>
  85. <p>
  86. When submitting any kind of documentation, try not to use the terms him/her, she/he, his/her, or anything that is gender biased. <strong>Use their, they, them, those people, that person, and so on.</strong> <a href="https://gist.githubusercontent.com/0xabad1dea/8870b192fd1758743f66/raw/a230fa3438ce60c538dba31830fa88143245b719/singularthey.md">You are making a huge difference</a>.
  87. </p>
  88. <p>
  89. <?php echo gettext("Generally speaking, using the same license as the file that you are modifying is much simpler."); ?>
  90. <?php echo gettext("If you are submitting new files, please make sure that they are under a free license (<a href='https://copyleft.org/'>copyleft</a> preferred)."); ?>
  91. <?php echo gettext("You can find a list on:"); ?> <a href="https://www.gnu.org/licenses/license-list.html">https://www.gnu.org/licenses/license-list.html</a>. NOTE:
  92. not putting a copyright notice on a work does not mean it lacks copyright. Copyright is <em>automatic</em> in most countries. Not putting a license
  93. on a work also does not make that work <em>free</em>; you have to declare a free license, otherwise the default, restrictive copyright laws apply for those
  94. who wish to do anything with your work. Always put a license on your work!
  95. </p>
  96. <p>
  97. Small technical note: libreboot is working to convert all documentation to <em>texinfo</em>, where
  98. it is currently written in HTML, directly. Therefore, please submit any new documentation under this format, during the transition period. <a href="../gnu/">Learn more</a>.
  99. </p>
  100. <p>
  101. <a href="#pagetop">Back to top of page</a>
  102. </p>
  103. </div>
  104. <div>
  105. <h2 id="download"><?php echo gettext("How to download from the Git repository"); ?> <span class="r"><a href="#download">#download</a></span></h2>
  106. <p>
  107. Libreboot development is facilitated by <em><a href="https://git-scm.com/">git</a></em>, a <em>distributed</em> version control system.
  108. You will need to install git (most GNU/Linux distributions package it in their repositories).
  109. </p>
  110. <h3><?php echo gettext("Coreboot distribution. <em>This also contains the documentation</em>:"); ?></h3>
  111. <p>
  112. Use this command, to download the repository:<br/>
  113. <strong>git clone <?php echo $lbFirmwareGitRepoAddress; ?></strong><br/>
  114. ...you can also <a href="<?php echo $lbFirmwareGitwebAddress; ?>">browse this repository on the web</a>
  115. </p>
  116. <p>
  117. A new directory named <em><strong>libreboot</strong></em> will have been created, containing libreboot.
  118. </p>
  119. <h3><?php echo gettext("Website. <em>Documentation is in the other repository</em>:"); ?></h3>
  120. <p>
  121. Use this command, to download the repository:<br/>
  122. <strong>git clone <?php echo $lbWebsiteGitRepoAddress; ?></strong><br/>
  123. ...you can also <a href="<?php echo $lbWebsiteGitwebAddress; ?>">browse this repository on the web</a>
  124. </p>
  125. <p>
  126. A new directory named <em><strong>libreboot-website</strong></em> will have been created, containing the libreboot website files.
  127. </p>
  128. <h2><?php echo gettext("Backup repositories"); ?></h2>
  129. <p>
  130. Use these if one of the main repositories are down.
  131. </p>
  132. <h3><?php echo gettext("Firmware (coreboot distribution)"); ?></h3>
  133. <p>
  134. <?php
  135. for ($server=0; $server<count($lbFirmwareBackupGitRepoAddress); $server++) {
  136. ?>
  137. <strong>git clone <?php echo $lbFirmwareBackupGitRepoAddress[$server]; ?></strong>
  138. <?php if ($server!=count($lbFirmwareBackupGitRepoAddress)-1) echo "<br/>"; ?>
  139. <?php
  140. }
  141. ?>
  142. </p>
  143. <h3><?php echo gettext("Libreboot website"); ?></h3>
  144. <p>
  145. <?php
  146. for ($server=0; $server<count($lbWebsiteBackupGitRepoAddress); $server++) {
  147. ?>
  148. <strong>git clone <?php echo $lbWebsiteBackupGitRepoAddress[$server]; ?></strong>
  149. <?php if ($server!=count($lbWebsiteBackupGitRepoAddress)-1) echo "<br/>"; ?>
  150. <?php
  151. }
  152. ?>
  153. </p>
  154. <p>
  155. <a href="#pagetop">Back to top of page</a>
  156. </p>
  157. </div>
  158. <div>
  159. <h2 id="sendpatch">How to submit your patches <span class="r"><a href="#sendpatch">#sendpatch</a></span></h2>
  160. <h3><?php echo gettext("Method 1: host a repository"); ?></h3>
  161. <p>
  162. <?php echo gettext("Give the checkout details to the libreboot project, along with information on which commits in what branch contain your changes."); ?>
  163. </p>
  164. <p>
  165. You can email this information to <a href="mailto:<?php echo $devMailingListEmail; ?>"><?php echo $devMailingListEmail; ?></a>, which is the mailing list used for libreboot development discussion.
  166. </p>
  167. <p>
  168. <strong>Check <a href="#githosting">#githosting</a>, for a list of Git hosting providers that we recommend.</strong>
  169. </p>
  170. <h3><?php echo gettext("Method 2: git format-patch -N"); ?></h3>
  171. <p>
  172. <?php echo gettext("Use this method (replace N with the number of commits that you made) and send the .patch files to the libreboot project, along with details on what branch and revision these were made on top of."); ?>
  173. </p>
  174. <p>
  175. You can email your patches to <a href="mailto:<?php echo $devMailingListEmail; ?>"><?php echo $devMailingListEmail; ?></a>, which is the mailing list used for libreboot development discussion.
  176. </p>
  177. <p>
  178. <?php echo gettext("Contact the libreboot project using the details on the home page, sending your patch(es). The mailing list is generally preferable, although IRC can also be just as good for small patches (you would probably put the patch on a paste site). If you'll be using the mailing list(s) a lot, then it probably makes sense to subscribe to them."); ?>
  179. </p>
  180. <p>
  181. <a href="#pagetop">Back to top of page</a>
  182. </p>
  183. </div>
  184. <div>
  185. <h2 id="githosting">List of recommended Git hosting providers <span class="r"><a href="#githosting">#githosting</a></span></h2>
  186. <p>
  187. There are several that we could recommend:
  188. </p>
  189. <ul class="c">
  190. <li><a href="https://git-scm.com/book/en/v2/Git-on-the-Server-The-Protocols">You!</a> (host your own Git repository, on your own server, on your own internet connection, in your own physical space)</li>
  191. <li><a href="https://notabug.org/">NotABug.org</a></li>
  192. <li><a href="https://savannah.nongnu.org/">Savannah</a></li>
  193. </ul>
  194. <p>
  195. The libreboot project itself uses all of the above options.
  196. </p>
  197. <p>
  198. Most Git hosting providers distribute <a href="https://www.gnu.org/philosophy/javascript-trap.html">non-free JavaScript</a> on their website, but as far as we are aware all of these
  199. providers are freedom-friendly and reliable to use (and their JavaScript is free). This list will be expanded upon at a later date. The hosting providers
  200. above are all powered by Free Software, which means that you can also host your own version of the software that they use
  201. on their website.
  202. </p>
  203. <p>
  204. We generally recommend self-hosting (first option in the list above). Git is a <em>decentralized</em> (distributed) version control system.
  205. However, not everyone can afford to do this, so using one of the other providers on the list above is also acceptable.
  206. </p>
  207. <p>
  208. <strong><a href="../github/">**PLEASE** DO NOT USE GitHub. Learn more here.</a></strong>
  209. </p>
  210. <p>
  211. <strong><a href="../gitlab/">**PLEASE** DO NOT USE GitLab. Learn more here.</a></strong>
  212. </p>
  213. <p>
  214. <a href="#pagetop">Back to top of page</a>
  215. </p>
  216. </div>
  217. <div>
  218. <h2 id="contrib"><?php echo gettext("How to use git, for creating patches"); ?> <span class="r"><a href="#contrib">#contrib</a></span></h2>
  219. <p>
  220. Libreboot development is facilitated by <em>git</em>, a <em>distributed</em> version control system that is in wide use today. Git provides many practical benefits,
  221. making collective development of software very easy.
  222. </p>
  223. <p>
  224. <?php echo gettext("The <a href=\"http://git-scm.com/doc\">git documentation</a> describes how to use git. The following notes include simple tips for how to use git, but it is a good idea to get fully acquainted with git."); ?>
  225. </p>
  226. <p>
  227. <?php echo gettext("Make sure that you configured git so that your name and email address appear in the commits that you create:"); ?><br/>
  228. <strong>git config --global user.name &quot;Your Name&quot;</strong><br/>
  229. <strong>git config --global user.email your@emailaddress.com</strong><br/>
  230. <strong>NOTE: you do not have to use your legal name; we don't care what name you use. You can use any name of your choosing. If you wish to be anonymous (no name), you can also use <em>Libreboot Contributor</em> as your name, and <em>noname@libreboot.org</em> as the email address. <em>We will happily accept anonymous contributions in the libreboot project.</em></strong>
  231. </p>
  232. <p>
  233. <?php echo gettext("The following is also useful:"); ?><br/>
  234. <strong>git config --global core.editor vim</strong> # NOTE: on most systems, git defaults to using vi anyway. If you switch to vim, make sure it's installed<br/>
  235. <strong>git config --global color.status auto</strong><br/>
  236. <strong>git config --global color.branch auto</strong><br/>
  237. <strong>git config --global color.interactive auto</strong><br/>
  238. <strong>git config --global color.diff auto</strong>
  239. </p>
  240. <p>
  241. <strong>NOTE: the above steps for colour make git use red/green font colours for showing diffs. If you are red/green colour-blind, please ignore the above steps. The default configuration in git is no-colour (all one colour, usually the default that your terminal uses). If you are colour-blind, git can display in other colours; refer
  242. to the git documentation.</strong>
  243. </p>
  244. <p>
  245. <?php echo gettext("Clone the git repository, and make your desired changes inside the newly created <em>libreboot</em> directory."); ?>
  246. <?php echo gettext("You can make one or several commits (as many as you like)."); ?>
  247. <?php echo gettext("Generally speaking, you should create separate commits on top of each other, for each kind of change."); ?>
  248. </p>
  249. <p>
  250. When working with git, you will need your current working directory to be inside the <em>libreboot</em> directory that was just created.<br/>
  251. <strong>cd libreboot/</strong>
  252. </p>
  253. <p>
  254. <?php echo gettext("Once you have made your change(s), you can use this to check the status:"); ?><br/>
  255. <strong>git status</strong>
  256. </p>
  257. <p>
  258. <?php echo gettext("The status command will show any untracked files that you have. Add them using <strong>git add path/to/file</strong>. You should also add any other files that are listed as modified in the git status. If there are deleted files in the git status, you can use <strong>git rm path/to/file</strong>. As long as you have added all the untracked files, it is generally easier to use:"); ?><br/>
  259. <strong>git commit -a</strong><br/>
  260. <?php echo gettext("(instead of <strong>git commit</strong>)"); ?>
  261. </p>
  262. <p>
  263. <?php echo gettext("If you need to make a change to the current commit, you can do so with:"); ?><br/>
  264. <strong>git commit --amend</strong><br/>
  265. <?php echo gettext("or:"); ?><br/>
  266. <strong>git commit -a --amend</strong>
  267. </p>
  268. <p>
  269. If you wish to use a different author name for the commit command, add <strong><em>--author=&quot;Author's Name &lt;author's email address&gt;&quot;</em></strong> at the end. This
  270. could be any name your choosing, or it could be because you are submitting a patch on someone else's
  271. behalf. <strong>If you wish to be anonymous (no name), you can also use <em>Libreboot Contributor</em> as your name, and <em>noname@libreboot.org</em> as the email address. <em>We will happily accept anonymous contributions in the libreboot project.</em></strong>
  272. </p>
  273. <p>
  274. Check once more that everything you want is added. Use the <strong>git status</strong> command to check for untracked changes/files, and adapt accordingly.
  275. Once you've committed everything, your changes will appear in a <em>diff</em> format, using this command:<br/>
  276. <strong>git show</strong><br/>
  277. Use PgUp/PgDown to navigate the diff output. This uses the <em>less</em> utility, so all the features from that (e.g. keyword search) are also available.
  278. </p>
  279. <p>
  280. <?php echo gettext("In your local git tree, you can use this to check your commits:"); ?><br/>
  281. <strong>git log</strong>
  282. </p>
  283. <p>
  284. <?php echo gettext("Shortened git logs showing the short commit ID and the commit title, plus info about what branch you are on, and where all your remotes/heads are:"); ?><br/>
  285. <strong>git config --global --add alias.lol &quot;log --graph --decorate --pretty=oneline --abbrev-commit --all&quot;</strong><br/>
  286. <?php echo gettext("From then on, you can use:"); ?><br/>
  287. <strong>git lol</strong><br/>
  288. <?php echo gettext("This is like <strong>git log</strong>, but it's much better and shows branches, etc."); ?>
  289. </p>
  290. <p>
  291. <a href="#pagetop">Back to top of page</a>
  292. </p>
  293. </div>
  294. <?php
  295. include "../common/footer.php";
  296. ?>
  297. </body>
  298. </html>
  299. <?php
  300. $strHtml = ob_get_clean();
  301. echo miniHtml($strHtml);
  302. ?>