Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
wesweb_linux_terminal [2020-10-28 10:16] Joakim Forsgren |
wesweb_linux_terminal [2020-10-28 11:25] Joakim Forsgren |
||
---|---|---|---|
Line 10: | Line 10: | ||
Lite mer om ssh och [[more_about_ssh|krypterade tunnlar]]\\ | Lite mer om ssh och [[more_about_ssh|krypterade tunnlar]]\\ | ||
- | b. Ni ska skapa en användare på Gitlab med samma **username** som ni har på denna server ex. ab1337. Skulle det namnet vara upptagen ange **vt21-username** och meddela mig detta. Jag kommer efter detta att dela ett repro till er, detta repro kommer heta samma som er användare på student servern. | + | b. Ni ska skapa en användare på [[https:// |
+ | När ni har skapat ett konto skickar ni ett mail (jf@oedu.se) till mig där ni anger **username** + ert riktiga namn. | ||
c. Ni ska på ert konto i gitlab lägga in er publika nyckel. | c. Ni ska på ert konto i gitlab lägga in er publika nyckel. | ||
Line 16: | Line 17: | ||
d. Efter detta ska ni ange gitlab som remote på ert wesweb-repro och skicka upp allt ni gjort till gitlab. | d. Efter detta ska ni ange gitlab som remote på ert wesweb-repro och skicka upp allt ni gjort till gitlab. | ||
+ | |||
+ | ==Push an existing folder== | ||
+ | <code git> | ||
+ | cd existing_folder | ||
+ | git init | ||
+ | git remote add origin git@gitlab.com: | ||
+ | git add . | ||
+ | git commit -m " | ||
+ | git push -u origin master | ||
+ | </ | ||
+ | |||
+ | ==Push an existing Git repository== | ||
+ | <code git> | ||
+ | cd existing_repo | ||
+ | git remote rename origin old-origin | ||
+ | git remote add origin git@gitlab.com: | ||
+ | git push -u origin --all | ||
+ | git push -u origin --tags | ||
+ | </ |