<?xml version="1.0" encoding="UTF-8"?>
<!-- generator="FeedCreator 1.8" -->
<?xml-stylesheet href="https://figureslibres.io/dokuwiki/lib/exe/css.php?s=feed" type="text/css"?>
<rdf:RDF
    xmlns="http://purl.org/rss/1.0/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
    xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel rdf:about="https://figureslibres.io/dokuwiki/feed.php">
        <title>Wiki Figures Libres - developement</title>
        <description></description>
        <link>https://figureslibres.io/dokuwiki/</link>
        <image rdf:resource="https://figureslibres.io/dokuwiki/_media/wiki:dokuwiki.svg" />
       <dc:date>2026-07-12T04:39:04+00:00</dc:date>
        <items>
            <rdf:Seq>
                <rdf:li rdf:resource="https://figureslibres.io/dokuwiki/developement:comment_utiliser_git?rev=1568972234&amp;do=diff"/>
                <rdf:li rdf:resource="https://figureslibres.io/dokuwiki/developement:git_deployement?rev=1559052232&amp;do=diff"/>
                <rdf:li rdf:resource="https://figureslibres.io/dokuwiki/developement:push_ssh?rev=1710756273&amp;do=diff"/>
            </rdf:Seq>
        </items>
    </channel>
    <image rdf:about="https://figureslibres.io/dokuwiki/_media/wiki:dokuwiki.svg">
        <title>Wiki Figures Libres</title>
        <link>https://figureslibres.io/dokuwiki/</link>
        <url>https://figureslibres.io/dokuwiki/_media/wiki:dokuwiki.svg</url>
    </image>
    <item rdf:about="https://figureslibres.io/dokuwiki/developement:comment_utiliser_git?rev=1568972234&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2019-09-20T09:37:14+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>comment_utiliser_git</title>
        <link>https://figureslibres.io/dokuwiki/developement:comment_utiliser_git?rev=1568972234&amp;do=diff</link>
        <description>Git c&#039;est partager un repository local sur un serveur distant (pour nous Gogs).
On pourra lui faire des modifications en local et les renvoyer sur le serveur via 
des commandes dans Terminal (git push, git pull...)

transformer un dossier en repository sur un serveur distant</description>
    </item>
    <item rdf:about="https://figureslibres.io/dokuwiki/developement:git_deployement?rev=1559052232&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2019-05-28T14:03:52+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>git_deployement</title>
        <link>https://figureslibres.io/dokuwiki/developement:git_deployement?rev=1559052232&amp;do=diff</link>
        <description>Git Deployement

Sur le serveur en ligne

créer un depos git &quot;bare&quot;


cd /home/username/
mkdir -p gitBareRepos/project-name.git
cd gitBareRepos/project-name.git
git init --bare


créer le hook post-update

en ajoutant fichier post-receive suivant dans</description>
    </item>
    <item rdf:about="https://figureslibres.io/dokuwiki/developement:push_ssh?rev=1710756273&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2024-03-18T10:04:33+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>push_ssh</title>
        <link>https://figureslibres.io/dokuwiki/developement:push_ssh?rev=1710756273&amp;do=diff</link>
        <description>Push en ssh

sur gitea

configuration &gt; clef ssh/gpg &gt; ajouter une clef ssh

Copier le contenu de la clef pubique que l&#039;on trouve dans ~/.ssh/

Sauver

sur ton ordi
   vim ~/.ssh/config
Ajouter 
   Host gitea-figureslibres.io
       User gitea
       HostName figureslibres.io
       IdentityFile ~/.ssh/[le nom de ton fichier clef]</description>
    </item>
</rdf:RDF>
