Skip to Content

Changes for page Using Git

Last modified by Richard Kreissig on 2023/09/14 08:49
From version 21.6
edited by cds
on 2023/07/11 10:32
Change comment: Update document after refactoring.
To version 22.1
edited by Richard Kreissig
on 2023/09/14 08:49
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.cds
1 +XWiki.stu230980
Content
... ... @@ -10,9 +10,9 @@
10 10  
11 11  = Checking Out KIELER =
12 12  
13 -{{note}}
13 +{{info}}
14 14  You shouldn't need to check out anything manually if you have installed Eclipse using our Oomph setup.
15 -{{/note}}
15 +{{/info}}
16 16  
17 17  KIELER is essentially a large heap of Eclipse plug-ins that aren't easy to find your way through as a new developer. The [[doc:Overview]] page has a nice overview of our sub-projects and what plug-ins belong where. This section will tell you how to get the KIELER sources. As for what plug-ins you will actually need to checkout, ask your advisor.
18 18  
... ... @@ -22,7 +22,7 @@
22 22  
23 23  Checkout of the Git repository is possible either using the SSH or the HTTP protocol. We strongly recommend using SSH; if you still want to use HTTP, omit the SSH key creation and upload in the instructions below.
24 24  
25 -1. If you don't have an SSH key yet, you have to create one. You can do this by:\\
25 +1. If you don't have an SSH key yet, you have to create one. You can do this by:
26 26  1*. Creating one using the command {{code language="none"}}ssh-keygen{{/code}} on the command line. Simply type {{code language="none"}}ssh-keygen{{/code}}, confirm the default destination file ~~/.ssh/id_rsa, and choose whether to give a passphrase. If you have a passphrase, you need to enter it whenever you use your SSH key for the first time in a session. You can omit the passphrase, but that makes the key less secure. As result, the tool generates a private key ~~/.ssh/id_rsa, which has to be kept secret, and a public key ~~/.ssh/id_rsa.pub.
27 27  1*. Using Eclipse to generate it. You can find this function under //Preferences - General - Network Connections - SSH2 - Key Management//.
28 28  1. Register with [[Stash>>url:http://git.rtsys.informatik.uni-kiel.de||shape="rect"]] and upload your public SSH key (//Profile - SSH Keys - Add Key//).
... ... @@ -50,7 +50,7 @@
50 50  1. (((
51 51  **all core plugins** (core.*) from the semantics and pragmatics repositories
52 52  )))
53 -1. **all SCCharts plugins** (sccharts.*) from the semantics repository, **unless sccharts.prio.dependencies**,** sccharts.prio.dependencies.klighd**, **sccharts.prio.s**,** sccharts.prio.sim.s**
53 +1. **all SCCharts plugins** (sccharts.*) from the semantics repository, **unless sccharts.prio.dependencies**,** sccharts.prio.dependencies.klighd**, **sccharts.prio.s**,** sccharts.prio.sim.s**
54 54  1. **all required plugins** for the already imported ones
55 55  
56 56  As a result you will have the following plugin projects in your workspace: