Skip to Content

Changes for page Using Git

Last modified by Richard Kreissig on 2023/09/14 08:49
From version 22.1
edited by Richard Kreissig
on 2023/09/14 08:49
Change comment: There is no comment for this version
To version 20.1
edited by aas2
on 2015/11/17 13:52
Change comment: There is no comment for this version

Summary

Details

Page properties
Parent
... ... @@ -1,1 +1,0 @@
1 -KIELER.Development.Guidelines.WebHome
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.stu230980
1 +XWiki.aas2
Content
... ... @@ -10,10 +10,6 @@
10 10  
11 11  = Checking Out KIELER =
12 12  
13 -{{info}}
14 -You shouldn't need to check out anything manually if you have installed Eclipse using our Oomph setup.
15 -{{/info}}
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  
19 19  {{info title="Important Hint for Users Behind Firewalls"}}
... ... @@ -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:
21 +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**
49 +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:
git_repo_browser_import_plugins.png
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -50.2 KB
Content
resolve_missing_plugins.png
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -199.9 KB
Content
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -884787
1 +15532098
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/884787/Using Git
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/15532098/Using Git