March 5, 2026, Thursday, 63

Języki Programowania 13

From MJanik

(Difference between revisions)
Jump to: navigation, search
(Created page with "GIT Git to system kontroli wersji, który służy do śledzenia zmian w plikach (najczęściej w kodzie źródłowym) oraz do pracy zespołowej nad projektami. Dzięki Gitowi mo...")
 
(6 intermediate revisions not shown)
Line 1: Line 1:
-
GIT
+
[http://www.if.pw.edu.pl/~majanik/data/JP/2025/Zadanie13_Generatory.pdf Laboratorium 12]  - pt. 10-12
 +
 
 +
[http://www.if.pw.edu.pl/~majanik/data/JP/2025/Zadanie13_Calkowanie.pdf Laboratorium 12]  - czw. 14-16
 +
 
 +
== GIT ==
 +
 
Git to system kontroli wersji, który służy do śledzenia zmian w plikach (najczęściej w kodzie źródłowym) oraz do pracy zespołowej nad projektami.
Git to system kontroli wersji, który służy do śledzenia zmian w plikach (najczęściej w kodzie źródłowym) oraz do pracy zespołowej nad projektami.
Dzięki Gitowi można:
Dzięki Gitowi można:
Line 8: Line 13:
Git działa lokalnie na komputerze użytkownika, a serwisy takie jak GitHub, GitLab czy Bitbucket umożliwiają przechowywanie repozytoriów w sieci i łatwą współpracę zespołową.
Git działa lokalnie na komputerze użytkownika, a serwisy takie jak GitHub, GitLab czy Bitbucket umożliwiają przechowywanie repozytoriów w sieci i łatwą współpracę zespołową.
-
Instrukcja:  
+
'''Instrukcja:  
Zadanie polega na:
Zadanie polega na:
Line 14: Line 19:
* utworzeniu własnego repozytorium.
* utworzeniu własnego repozytorium.
-
Krok 1 – utworzenie konta w serwisie
+
 
 +
'''Krok 1 – utworzenie konta w serwisie
* Należy założyć konto w wybranym serwisie hostującym repozytoria (jeśli nie zostało jeszcze założone),
* Należy założyć konto w wybranym serwisie hostującym repozytoria (jeśli nie zostało jeszcze założone),
-
Krok 2 – wygenerowanie klucza SSH
 
-
W terminalu należy wygenerować klucz SSH, np. poleceniem:
+
'''Krok 2 – wygenerowanie klucza SSH
-
  ssh-keygen -t ed25519 -C "twoj_email@github.com"
+
 
 +
W terminalu należy przejść do folderu ~/.ssh (stworzyć jeśli nie istnieje) i wygenerować klucz SSH, np. poleceniem:
 +
  ssh-keygen -t ed25519 -C "twoj_email@xxx.com"
Polecenie to generuje dwa pliki:
Polecenie to generuje dwa pliki:
* klucz publiczny,
* klucz publiczny,
Line 26: Line 33:
Klucz publiczny
Klucz publiczny
* zawartość klucza publicznego należy skopiować do serwisu hostującego repozytoria,
* zawartość klucza publicznego należy skopiować do serwisu hostującego repozytoria,
-
* miejsce wklejenia zależy od serwisu (np. na GitHubie:
+
* miejsce wklejenia zależy od serwisu, np. na GitHubie:
-
  Profil użytkownika → Settings → SSH and GPG keys ).
+
  Profil użytkownika → Settings → SSH and GPG keys .
Klucz prywatny
Klucz prywatny
Line 33: Line 40:
* NIE WOLNO go nikomu udostępniać – umożliwia on podszywanie się pod właściciela konta.
* NIE WOLNO go nikomu udostępniać – umożliwia on podszywanie się pod właściciela konta.
-
Krok 3 – dodanie klucza do agenta SSH
+
 
-
Należy wykonać w terminalu polecenie:
+
'''Krok 3 – dodanie klucza do agenta SSH
-
ssh-add
+
 
-
oraz ustawić odpowiednie prawa dostępu do pliku z kluczem prywatnym:
+
Należy wykonać w terminalu polecenia:
 +
ustawić odpowiednie prawa dostępu do pliku z kluczem prywatnym:
  chmod 600 nazwa_pliku_klucza_prywatnego
  chmod 600 nazwa_pliku_klucza_prywatnego
 +
oraz
 +
ssh-add
 +
-
Krok 4 – utworzenie repozytorium
+
'''Krok 4 – utworzenie repozytorium
W serwisie github należy:
W serwisie github należy:
* utworzyć nowe repozytorium (dla dzisiejszych zajęć: prywatne, dla projektów najlepiej publiczne)
* utworzyć nowe repozytorium (dla dzisiejszych zajęć: prywatne, dla projektów najlepiej publiczne)
-
Krok 5 – sklonowanie repozytorium na komputer
+
 
 +
'''Krok 5 – sklonowanie repozytorium na komputer
Repozytorium należy skopiować na lokalny komputer poleceniem:
Repozytorium należy skopiować na lokalny komputer poleceniem:
  git clone "adres_naszego_repozytorium"
  git clone "adres_naszego_repozytorium"
Po wykonaniu powyższych kroków repozytorium jest gotowe do pracy. Do wypychania zmian możemy użyć komendy git-gui. To graficzny interfejs pozwalający nam zatwierdzać zmiany i wysyłać do zdalnego repozytorium bez zabawy komendami.
Po wykonaniu powyższych kroków repozytorium jest gotowe do pracy. Do wypychania zmian możemy użyć komendy git-gui. To graficzny interfejs pozwalający nam zatwierdzać zmiany i wysyłać do zdalnego repozytorium bez zabawy komendami.
 +
 +
Alternatywnie komendy do zarządzania wysłaniem kodu to:
 +
git status
 +
git add nazwa_pliku
 +
git commit -m "commit comment"
 +
git push

Latest revision as of 09:09, 16 January 2026

Laboratorium 12 - pt. 10-12

Laboratorium 12 - czw. 14-16

GIT

Git to system kontroli wersji, który służy do śledzenia zmian w plikach (najczęściej w kodzie źródłowym) oraz do pracy zespołowej nad projektami. Dzięki Gitowi można:

  • zapisywać kolejne wersje projektu (historię zmian),
  • cofać się do wcześniejszych wersji plików,
  • pracować nad tym samym projektem równocześnie z innymi osobami,
  • bezpiecznie przechowywać kod w repozytorium (lokalnym lub zdalnym, np. na GitHubie).

Git działa lokalnie na komputerze użytkownika, a serwisy takie jak GitHub, GitLab czy Bitbucket umożliwiają przechowywanie repozytoriów w sieci i łatwą współpracę zespołową.

Instrukcja:

Zadanie polega na:

  • założeniu konta w serwisie hostującym repozytoria Git (np. GitHub),
  • utworzeniu własnego repozytorium.


Krok 1 – utworzenie konta w serwisie

  • Należy założyć konto w wybranym serwisie hostującym repozytoria (jeśli nie zostało jeszcze założone),


Krok 2 – wygenerowanie klucza SSH

W terminalu należy przejść do folderu ~/.ssh (stworzyć jeśli nie istnieje) i wygenerować klucz SSH, np. poleceniem:

ssh-keygen -t ed25519 -C "twoj_email@xxx.com"

Polecenie to generuje dwa pliki:

  • klucz publiczny,
  • klucz prywatny.

Klucz publiczny

  • zawartość klucza publicznego należy skopiować do serwisu hostującego repozytoria,
  • miejsce wklejenia zależy od serwisu, np. na GitHubie:
Profil użytkownika → Settings → SSH and GPG keys .

Klucz prywatny

  • klucz prywatny zostaje na komputerze użytkownika,
  • NIE WOLNO go nikomu udostępniać – umożliwia on podszywanie się pod właściciela konta.


Krok 3 – dodanie klucza do agenta SSH

Należy wykonać w terminalu polecenia: ustawić odpowiednie prawa dostępu do pliku z kluczem prywatnym:

chmod 600 nazwa_pliku_klucza_prywatnego

oraz

ssh-add


Krok 4 – utworzenie repozytorium W serwisie github należy:

  • utworzyć nowe repozytorium (dla dzisiejszych zajęć: prywatne, dla projektów najlepiej publiczne)


Krok 5 – sklonowanie repozytorium na komputer Repozytorium należy skopiować na lokalny komputer poleceniem:

git clone "adres_naszego_repozytorium"

Po wykonaniu powyższych kroków repozytorium jest gotowe do pracy. Do wypychania zmian możemy użyć komendy git-gui. To graficzny interfejs pozwalający nam zatwierdzać zmiany i wysyłać do zdalnego repozytorium bez zabawy komendami.

Alternatywnie komendy do zarządzania wysłaniem kodu to:

git status
git add nazwa_pliku
git commit -m "commit comment"
git push