From 00d6d1f7daec5cbb7af3510980b12009ab557314 Mon Sep 17 00:00:00 2001 From: polo Date: Wed, 24 Feb 2021 02:54:06 +0100 Subject: =?UTF-8?q?=C3=A0=20propos=20de=20gitk?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: polo --- serveur git debian.txt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/serveur git debian.txt b/serveur git debian.txt index 66bd535..0eb9ef8 100644 --- a/serveur git debian.txt +++ b/serveur git debian.txt @@ -83,7 +83,8 @@ Celle-ci ne démarre correctement: - l'application ne fonctionne pas dans un mauvais répertoire (elle n'explore pas), solution 1: lancer l'appli depuis le terminal placé dans le bon dossier solution 2: lancer l'appli depuis le terminal avec: gitk /chemin/du/dépot - solution 3: créer un raccourci sur le bureau (un par projet) qui lance la commande ci-dessus + solution 3: créer un raccourci sur le bureau (un par projet) qui lance la commande ci-dessus. +On évitera cependant parce que le terminal sera nécessaire pour taper le mot de passe lors d'un push. Dans cette fenêtre on peut donc voir l'historique des "commit", les branches, et à chaque fois le contenu des fichiers. Maj + F5 permet de mettre à jour le contenu si un fichier est modifié. @@ -91,5 +92,6 @@ Aller ensuite dans le menu "Fichier" -> "Démarrer git gui" Une deuxième fenêtre s'ouvre dans laquelle on peut agir avec trois boutons à utiliser dans l'ordre: - indexer pour enregistrer les modifications dans les fichiers dans le "stage" (en gros l'emplacement des changements avant validation) - commiter pour valider les changements en local -- pousser (ou push) pour enregistrer le dernier commit sur le serveur +- pousser (ou push) pour enregistrer le dernier commit sur le serveur, +le mot de passe pour ssh est à taper dans le terminal, on croit que ça marche pas mais si. -- cgit v1.2.3