<?php echo gettext("Git repositories"); ?>

. +*/ +?> +

+ +

+ Trisquel website."); ?> +

+ +

\ No newline at end of file diff --git a/site/download/index.php b/site/download/index.php index 1373b44..b7c70fc 100644 --- a/site/download/index.php +++ b/site/download/index.php @@ -36,54 +36,12 @@

- -

- - - -

- -

-
- $ gpg --recv-keys -

- -

- - - rom/ in that directory, and crossgcc tarballs under crossgcc/."); ?> -

-
- $ sha512sum -c sha512sum.txt -

-
- $ gpg --verify sha512sum.txt.sig -

- -

. . +

HTTP mirrors

@@ -99,166 +57,8 @@

- -

- - - -

- -

- ../docs/tasks.html. - There is also a -

- -

- ../docs/maintain/index.html and ../docs/git/index.html."); ?> -

- -

- This also contains the documentation:"); ?>
- $ git clone -

- Documentation is in the other repository:"); ?>
- $ git clone -

- -

- git documentation 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."); ?> -

-
- $ git config --global user.name "Your Name"
- $ git config --global user.email your@emailaddress.com -

-
- $ git config --global core.editor nano
- $ git config --global color.status auto
- $ git config --global color.branch auto
- $ git config --global color.interactive auto
- $ git config --global color.diff auto -

- - - -

-
- $ git status -

- -

- - - - https://www.gnu.org/licenses/license-list.html. -

- - GNU Free Documentation License, because we do not want to endorse or support the Invariant clauses that this license allows. Changes submitted under this license will be rejected, even if it contains no Invariant sections."); ?> - -

- -

- git add path/to/file. 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 git rm path/to/file. As long as you have added all the untracked files, it is generally easier to use:"); ?>
- $ git commit -a
- git commit)"); ?> -

-
- $ git commit --amend
-
- $ git commit -a --amend -

-
- $ git log -

-
- $ git config --global --add alias.lol "log --graph --decorate --pretty=oneline --abbrev-commit --all"
-
- $ git lol
- git log, but on steroids."); ?> -

- -

- - $ git clone - "; ?> - -

- -

- - $ git clone - "; ?> - -

- -

- Trisquel website."); ?> -

- -

- diff --git a/site/git/index.php b/site/git/index.php new file mode 100644 index 0000000..1ebedd6 --- /dev/null +++ b/site/git/index.php @@ -0,0 +1,180 @@ + + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU Affero General Public License as + published by the Free Software Foundation, either version 3 of the + License, or (at your option) any later version. + + This program 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 Affero General Public License for more details. + + You should have received a copy of the GNU Affero General Public License + along with this program. If not, see . +*/ + header('Content-type: text/html; charset=utf-8'); + ob_start(); + include_once "../common/variables.php"; + include_once "../common/functions.php"; +?> + + + + + <?php echo gettext("Git repositories"); ?> + + + + +

+ +

+ ../docs/tasks.html. + There is also a +

+ +

+ ../docs/maintain/index.html and ../docs/git/index.html."); ?> +

+ +

+ This also contains the documentation:"); ?>
+ $ git clone +

+ Documentation is in the other repository:"); ?>
+ $ git clone +

+ +

+ git documentation 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."); ?> +

+
+ $ git config --global user.name "Your Name"
+ $ git config --global user.email your@emailaddress.com +

+
+ $ git config --global core.editor nano
+ $ git config --global color.status auto
+ $ git config --global color.branch auto
+ $ git config --global color.interactive auto
+ $ git config --global color.diff auto +

+ + + +

+
+ $ git status +

+ +

+ + + + https://www.gnu.org/licenses/license-list.html. +

+ + GNU Free Documentation License, because we do not want to endorse or support the Invariant clauses that this license allows. Changes submitted under this license will be rejected, even if it contains no Invariant sections."); ?> + +

+ +

+ git add path/to/file. 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 git rm path/to/file. As long as you have added all the untracked files, it is generally easier to use:"); ?>
+ $ git commit -a
+ git commit)"); ?> +

+
+ $ git commit --amend
+
+ $ git commit -a --amend +

+
+ $ git log +

+
+ $ git config --global --add alias.lol "log --graph --decorate --pretty=oneline --abbrev-commit --all"
+
+ $ git lol
+ git log, but on steroids."); ?> +

+ +

+ + $ git clone + "; ?> + +

+ +

+ + $ git clone + "; ?> + +

+ +

+ + + + + + \ No newline at end of file diff --git a/site/gpg/index.php b/site/gpg/index.php new file mode 100644 index 0000000..cba7377 --- /dev/null +++ b/site/gpg/index.php @@ -0,0 +1,75 @@ + + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU Affero General Public License as + published by the Free Software Foundation, either version 3 of the + License, or (at your option) any later version. + + This program 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 Affero General Public License for more details. + + You should have received a copy of the GNU Affero General Public License + along with this program. If not, see . +*/ + header('Content-type: text/html; charset=utf-8'); + ob_start(); + include_once "../common/variables.php"; + include_once "../common/functions.php"; +?> + + + + + <?php echo gettext("GPG signing key"); ?> + + + + +

+ +

+
+ $ gpg --recv-keys +

+ +

+ + + rom/ in that directory, and crossgcc tarballs under crossgcc/."); ?> +

+
+ $ sha512sum -c sha512sum.txt +

+
+ $ gpg --verify sha512sum.txt.sig +

+ +

+ + + + + + \ No newline at end of file diff --git a/site/index.php b/site/index.php index 927a9ed..ba6de89 100644 --- a/site/index.php +++ b/site/index.php @@ -47,10 +47,10 @@

Rsync
Git
Rsync
Git

diff --git a/site/rsync/index.php b/site/rsync/index.php new file mode 100644 index 0000000..3e7629c --- /dev/null +++ b/site/rsync/index.php @@ -0,0 +1,66 @@ + + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU Affero General Public License as + published by the Free Software Foundation, either version 3 of the + License, or (at your option) any later version. + + This program 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 Affero General Public License for more details. + + You should have received a copy of the GNU Affero General Public License + along with this program. If not, see . +*/ + header('Content-type: text/html; charset=utf-8'); + ob_start(); + include_once "../common/variables.php"; + include_once "../common/functions.php"; +?> + + + + + <?php echo gettext("Mirroring libreboot"); ?> + + + + +

+ +

+ + + +

+ download page."); ?> +

+ +

+ + + + + + \ No newline at end of file -- cgit v0.9.1