Formations initiation GitHub
Présentation
- Description :
- GitHug est la plate-forme accueillant la majorité des projets open source et également nombre de projets privés.
- Cette formation vous initie aussi bien à la prise en main d'un projet sous git hub qu'aux principales commandes git
- Objectifs :
- Savoir utiliser un projet github
- Savoir créer un projet github
- Savoir travailler en équipe sur un projet GitHub
- Connaître les principales commandes git sur un équipement Window, Linux ou MacOsX
Public
- Public :
- Développeurs informatiques
- Administrateurs systèmes
- Prérequis :
- Connaître le développement informatique
- Savoir se servir d'un PC sous Linux ou Windows ou sous MacOSX
Organisation matérielle
- Durée : 2 jours (14 heures)
- Horaires : 9h00-12h00 13h00-17h00
- Rythme : Continue ou fragmentée
- Mode : Inter ou intra entreprise
- Lieu : Sur site ou en centre de formation
Environnement
- Moyens pédagogiques : Document de support de cours en PDF (135 pages) + document PDF correction d'exercices (5 exercices)
- Moyens techniques :
- Un poste PC Window ou Linux ou bien un poste sous MacOSX
- Moyen humains : Développeur diplômé du troisième cycle plus de dix ans d'expérience en développement et formation
Garanties qualités
- Contrôle de la bonne exécution : Fiche d’appréciation remplie par les stagiaires
- Méthode d'évaluation : Fiche d’évaluation
Programme
Présentation Git
Définitions
- Les gestionnaires de versions
- Quelques remarques
- Dépôts publics/ dépôts privés
- Histoire de Git
- L'originalité de Git
- Avantage GIT
Comparaison des gestionnaires de version
- Gestionnaires centralisés vs décentralisés
- Les différents gestionnaires
- Utilisation la plus basique
- Git caractéristiques
- Les arbres
- Les instantanés de Git
Interface graphique
- Git graphique vs git en ligne de commande
- Peu importe l'interface
- Beaucoup d'IDE proposent un git intégré
- Via les commandes
- Récupération via clone
- Cas d'un clonage rapide
Github
Le service Github
- Présentation github
- Les alernatives à github
- L'offre d'hébergement github
- Quelques addon
- Considération sur la sécurité du service github
Créer un projet via github
- Créer un compte sur github
- Personnalisation de votre compte
- Informations générales
- Informations spécifiques
- Créer un projet GitHub
Autres opérations courantes
- Trouver un projet sur GitHub
- Devenir développeur sur un projet GitHub
- Ajouter des développeurs sur son projet
- La fonction GitHubGist
Utilisation de git
Première création d'un dépôt par clonage
- Récupération via clone
- Cas d'un clonage rapide
Exploration
- Le répertoire .git
- Le contenu du répertoire .git
- Visualisation de la configuration
- Configuration basique
Mise en place d'une clé ssh
- Présentation
- Connexion par clé ssh
- ssh dans les logiciels client git
Dépot local
Commit
- La commande commit
- Pour les Unixiens
- gitignore
Entre staging et commit
- Modification de document
- Commande rm et mv
- Annuler les actions
- Quelques commandes utiles
- Les pointeurs HEAD et master
- HEAD et master
Status et log
- Status
- Plus d'options sur la commande status
- Lister les fichiers d'un dépôt
- Historique des validations
- Format retour git log
- Utilisatione la commande gitk
Dépots distants
Dépôt distant
- Travailler avec un dépôt distant
- Récupération via clone
- Récupération des versions distantes
- Soumission des modifications locales à un dépôt distant
- Séquence de travail normale avec dépôt distant
Conflit
- Conflit entre plusieurs utilisateurs
- Les symboles de conflit dans les fichiers
- Les conflits de fusion
- Conflit
- Résolution du conflit
Dates et tarifs
Inter entreprise
- Prix : 1000 HT
- Dates : Consultez moi
Intra entreprises
- Région parisienne : 2600 HT
- Autres zones : 2600 HT + Forfait voyage
- Dates : Consultez moi
Société de formation
- Dates : Consultez moi
