<
From version < 49.2
edited by Richard Kreissig
on 2025/01/30 12:03
To version < 47.4 >
edited by msp
on 2023/07/19 11:50
Change comment: Update document after refactoring.

Summary

Details

Page properties
Parent
... ... @@ -1,1 +1,1 @@
1 -Projects.Archive.Eclipse Practical (winter term 201213).Tutorials.WebHome
1 +Projects.Eclipse Practical (winter term 201213).Tutorials.WebHome
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.stu230980
1 +XWiki.msp
Content
... ... @@ -17,20 +17,20 @@
17 17  1. (((
18 18  Configure your name and email address (will be included in all commits you create):
19 19  
20 -{{code}}
20 +{{noformat}}
21 21  $ git config --global --add user.name "Your Name"
22 22  $ git config --global --add user.email "<login>@informatik.uni-kiel.de"
23 -{{/code}}
23 +{{/noformat}}
24 24  )))
25 25  1. (((
26 26  Create a local repository for the "//Turing Project//":
27 27  
28 -{{code}}
28 +{{noformat}}
29 29  $ mkdir turing
30 30  $ cd turing
31 31  $ git init
32 32  Initialized empty Git repository in ~/turing/.git/
33 -{{/code}}
33 +{{/noformat}}
34 34  
35 35  The {{code language="none"}}.git{{/code}} subdirectory contains all history and metadata of the repository. You should not modify it. The {{code language="none"}}turing{{/code}} directory contains the //working copy//, that is the currently checked-out snapshot. You work by modifying your working copy and committing the modifications to the repository (contained in {{code language="none"}}.git{{/code}}).
36 36  )))
... ... @@ -37,23 +37,23 @@
37 37  1. (((
38 38  Add and commit some content: copy [[attach:notes.txt]]{{code language="none"}}{{/code}} to your {{code language="none"}}turing{{/code}} directory.
39 39  
40 -{{code}}
40 +{{noformat}}
41 41  $ git add notes.txt
42 42  $ git commit -m "wrote some first notes"
43 43  [master (root-commit) 2e73b34] wrote some first notes
44 44   1 files changed, 5 insertions(+), 0 deletions(-)
45 45   create mode 100644 notes.txt
46 -{{/code}}
46 +{{/noformat}}
47 47  
48 48  The file is now stored in the local history of your repository.
49 49  )))
50 -1. Edit {{code language="none"}}notes.txt{{/code}}:
50 +1. Edit {{code language="none"}}notes.txt{{/code}}:\\
51 51  11. Replace "fixed" with "infinite" in line 1.
52 52  11. Replace "... (TODO)" with "a finite state machine" in line 4.
53 53  1. (((
54 54  View the status of your current working copy:
55 55  
56 -{{code}}
56 +{{noformat}}
57 57  $ git status
58 58  # On branch master
59 59  # Changed but not updated:
... ... @@ -63,12 +63,12 @@
63 63  # modified: notes.txt
64 64  #
65 65  no changes added to commit (use "git add" and/or "git commit -a")
66 -{{/code}}
66 +{{/noformat}}
67 67  )))
68 68  1. (((
69 69  Mark the modified file to include it in the next commit, then view the status again and compare with the previous output:
70 70  
71 -{{code}}
71 +{{noformat}}
72 72  $ git add notes.txt
73 73  $ git status
74 74  # On branch master
... ... @@ -77,12 +77,12 @@
77 77  #
78 78  # modified: notes.txt
79 79  #
80 -{{/code}}
80 +{{/noformat}}
81 81  )))
82 82  1. (((
83 83  Commit the modified content to your local repository and view the status:
84 84  
85 -{{code}}
85 +{{noformat}}
86 86  $ git commit -m "modified tape length, found a controller for tape head"
87 87  [master 52e2d49] modified tape length, found a controller for tape head
88 88   1 files changed, 2 insertions(+), 2 deletions(-)
... ... @@ -89,12 +89,12 @@
89 89  $ git status
90 90  # On branch master
91 91  nothing to commit (working directory clean)
92 -{{/code}}
92 +{{/noformat}}
93 93  )))
94 94  
95 95  After the preceding steps you have two commits in your local repository, each with one file in the index. You have different commands for viewing these commits:
96 96  
97 -{{code}}
97 +{{noformat}}
98 98  $ git log
99 99  commit 52e2d4946791c2725015853e5e261ce143c6fe8a
100 100  Author: Miro Spoenemann <msp@informatik.uni-kiel.de>
... ... @@ -126,7 +126,7 @@
126 126   * Tape head can move left or right
127 127  - * The head is controlled by ... (TODO)
128 128  + * The head is controlled by a finite state machine
129 -{{/code}}
129 +{{/noformat}}
130 130  
131 131  Note that each commit is identified by a looong hash value, but it is possible to use only a prefix when referencing them (if the prefix is not ambiguous): the example above uses {{code language="none"}}52e2d49{{/code}} to identify the second commit. The commit hashes in your repository will be different from those seen in this tutorial, because the name of the author and the exact time of committing is also considered in the hash calculation. Also try the command {{code language="none"}}gitk{{/code}} to get an overview of your commits (a better alternative available for Mac OSX is [[GitX>>url:http://gitx.frim.nl/||shape="rect"]]).
132 132  
... ... @@ -137,18 +137,18 @@
137 137  1. (((
138 138  Create a branch with name //sketches//:
139 139  
140 -{{code}}
140 +{{noformat}}
141 141  $ git branch sketches
142 -{{/code}}
142 +{{/noformat}}
143 143  )))
144 144  1. (((
145 145  View the list of branches:
146 146  
147 -{{code}}
147 +{{noformat}}
148 148  $ git branch
149 149  * master
150 150   sketches
151 -{{/code}}
151 +{{/noformat}}
152 152  
153 153  The star reveals that you are still on the old {{code language="none"}}master{{/code}} branch.
154 154  )))
... ... @@ -155,13 +155,13 @@
155 155  1. (((
156 156  Switch to the new branch:
157 157  
158 -{{code}}
158 +{{noformat}}
159 159  $ git checkout sketches
160 160  Switched to branch 'sketches'
161 161  $ git branch
162 162   master
163 163  * sketches
164 -{{/code}}
164 +{{/noformat}}
165 165  
166 166  It is also possible to create a branch and switch immediately to it using the option {{code language="none"}}-b{{/code}} of {{code language="none"}}git checkout{{/code}}.
167 167  )))
... ... @@ -168,13 +168,13 @@
168 168  1. (((
169 169  Download and add the new file [[attach:examples.txt]]{{code language="none"}}{{/code}}:
170 170  
171 -{{code}}
171 +{{noformat}}
172 172  $ git add examples.txt
173 173  $ git commit -m "wrote first examples"
174 174  [sketches cd63135] wrote first examples
175 175   1 files changed, 20 insertions(+), 0 deletions(-)
176 176   create mode 100644 examples.txt
177 -{{/code}}
177 +{{/noformat}}
178 178  
179 179  Inspecting the commit graph with {{code language="none"}}gitk{{/code}} (or another graphical viewer) you see that the {{code language="none"}}sketches{{/code}} branch now has three commits, while {{code language="none"}}master{{/code}} is still at the second commit.
180 180  )))
... ... @@ -181,7 +181,7 @@
181 181  1. (((
182 182  Merging the {{code language="none"}}sketches{{/code}} branch into {{code language="none"}}master{{/code}} means that all changes that have been made in {{code language="none"}}sketches{{/code}} are also applied to {{code language="none"}}master{{/code}}. In order to perform this merge, we have to check out the {{code language="none"}}master{{/code}} branch first:
183 183  
184 -{{code}}
184 +{{noformat}}
185 185  $ git checkout master
186 186  Switched to branch 'master'
187 187  $ git merge sketches
... ... @@ -190,7 +190,7 @@
190 190   examples.txt | 20 ++++++++++++++++++++
191 191   1 files changed, 20 insertions(+), 0 deletions(-)
192 192   create mode 100644 examples.txt
193 -{{/code}}
193 +{{/noformat}}
194 194  
195 195  This was a //fast-forward// merge: since the {{code language="none"}}master{{/code}} branch was completely contained in the {{code language="none"}}sketches{{/code}} branch, the merge could be done by simply changing the head pointer of {{code language="none"}}master{{/code}} to be the same as the head of {{code language="none"}}sketches{{/code}}.
196 196  )))
... ... @@ -197,29 +197,29 @@
197 197  1. (((
198 198  Now add the line "{{code language="none"}}see some examples in 'examples.txt'{{/code}}" to the file {{code language="none"}}notes.txt{{/code}} and commit this change in the current branch:
199 199  
200 -{{code}}
200 +{{noformat}}
201 201  $ git add notes.txt
202 202  $ git commit -m "added reference to the new examples"
203 203  [master a5e244f] added reference to the new examples
204 204   1 files changed, 2 insertions(+), 1 deletions(-)
205 -{{/code}}
205 +{{/noformat}}
206 206  )))
207 207  1. (((
208 208  Switch back to the {{code language="none"}}sketches{{/code}} branch and modify it as shown below. Note that the {{code language="none"}}checkout{{/code}} command modifies your working copy, hence you have to update your text editor's content if you opened one of the files.
209 209  
210 -{{code}}
210 +{{noformat}}
211 211  $ git checkout sketches
212 212  Switched to branch 'sketches'
213 -{{/code}}
213 +{{/noformat}}
214 214  
215 215  Add the line "{{code language="none"}}Move one step left:{{/code}}" followed by an accordingly updated version of the tape with tape head at the end of the file {{code language="none"}}examples.txt{{/code}}, then commit.
216 216  
217 -{{code}}
217 +{{noformat}}
218 218  $ git add examples.txt
219 219  $ git commit -m "added another example"
220 220  [sketches 55a9cb1] added another example
221 221   1 files changed, 5 insertions(+), 0 deletions(-)
222 -{{/code}}
222 +{{/noformat}}
223 223  
224 224  Now your two branches have //diverged//, which means that they cannot be fast-forwarded anymore.
225 225  )))
... ... @@ -226,25 +226,24 @@
226 226  1. (((
227 227  Merge the {{code language="none"}}master{{/code}} branch into {{code language="none"}}sketches{{/code}}:
228 228  
229 -{{code}}
229 +{{noformat}}
230 230  $ git merge master
231 231  Merge made by recursive.
232 232   notes.txt | 3 ++-
233 233   1 files changed, 2 insertions(+), 1 deletions(-)
234 -{{/code}}
234 +{{/noformat}}
235 235  
236 236  Using {{code language="none"}}gitk{{/code}} you can see that a new commit was created that has two parent commits. Such a commit is called //merge// commit and is done automatically when a non-fast-forward merge is applied. See how both the change to {{code language="none"}}notes.txt{{/code}} done in the {{code language="none"}}master{{/code}} branch and the change to {{code language="none"}}examples.txt{{/code}} done in the {{code language="none"}}sketches{{/code}} branch are now contained in the repository state that results from the merge.
237 237  )))
238 238  1. (((
239 239  Add a commit in each of the two branches using the commands you have already learned.
240 -
241 241  1. Check out {{code language="none"}}master{{/code}}.
242 242  1. (((
243 243  Insert the following line after line 4 of {{code language="none"}}notes.txt{{/code}}:
244 244  
245 -{{code nopanel="true"}}
244 +{{noformat nopanel="true"}}
246 246   * The finite state machine has an initial state and one or more final states
247 -{{/code}}
246 +{{/noformat}}
248 248  )))
249 249  1. Commit the change of {{code language="none"}}notes.txt{{/code}}.
250 250  1. Check out {{code language="none"}}sketches{{/code}} (make sure to refresh your text editor so that {{code language="none"}}notes.txt{{/code}} is reset to its previous state, without the change made above).
... ... @@ -251,9 +251,9 @@
251 251  1. (((
252 252  Insert the following line after line 4 of {{code language="none"}}notes.txt{{/code}}:
253 253  
254 -{{code nopanel="true"}}
253 +{{noformat nopanel="true"}}
255 255   * Each state transition can trigger head movement and data read/write
256 -{{/code}}
255 +{{/noformat}}
257 257  )))
258 258  1. Commit the change of {{code language="none"}}notes.txt{{/code}}.
259 259  )))
... ... @@ -260,12 +260,12 @@
260 260  1. (((
261 261  Merge the {{code language="none"}}master{{/code}} branch into the current branch ({{code language="none"}}sketches{{/code}}):
262 262  
263 -{{code}}
262 +{{noformat}}
264 264  $ git merge master
265 265  Auto-merging notes.txt
266 266  CONFLICT (content): Merge conflict in notes.txt
267 267  Automatic merge failed; fix conflicts and then commit the result.
268 -{{/code}}
267 +{{/noformat}}
269 269  
270 270  As expected, the branches could not be merged automatically, since both branches modified the same line in the same file.
271 271  )))
... ... @@ -272,7 +272,7 @@
272 272  1. (((
273 273  Use the {{code language="none"}}status{{/code}} command to see the list of affected files:
274 274  
275 -{{code}}
274 +{{noformat}}
276 276  $ git status
277 277  # On branch sketches
278 278  # Unmerged paths:
... ... @@ -281,18 +281,18 @@
281 281  # both modified: notes.txt
282 282  #
283 283  no changes added to commit (use "git add" and/or "git commit -a")
284 -{{/code}}
283 +{{/noformat}}
285 285  )))
286 286  1. (((
287 287  The modified {{code language="none"}}notes.txt{{/code}} should now contain the following text:
288 288  
289 -{{code nopanel="true"}}
288 +{{noformat nopanel="true"}}
290 290  <<<<<<< HEAD
291 291   * Each state transition can trigger head movement and data read/write
292 292  =======
293 293   * The finite state machine has an initial state and one or more final states
294 294  >>>>>>> master
295 -{{/code}}
294 +{{/noformat}}
296 296  
297 297  The upper line is the one committed to {{code language="none"}}sketches{{/code}}, while the lower line was committed to {{code language="none"}}master{{/code}}. You have to resolve the conflict by editing the file. In this case the conflict is resolved by keeping both lines in arbitrary order, that means you should just remove the conflict markers (lines 5, 7, and 9 in {{code language="none"}}notes.txt{{/code}}).
298 298  )))
... ... @@ -299,7 +299,7 @@
299 299  1. (((
300 300  Use the {{code language="none"}}add{{/code}} command to mark {{code language="none"}}notes.txt{{/code}} as resolved. Entering {{code language="none"}}git commit{{/code}} without a message will open a text editor with an automatically created commit message. Just close the editor, and the merge commit is completed:
301 301  
302 -{{code}}
301 +{{noformat}}
303 303  $ git commit
304 304  [sketches 21d5ddb] Merge branch 'master' into sketches
305 305  $ git show 21d5ddb
... ... @@ -324,7 +324,7 @@
324 324   + * Each state transition can trigger head movement and data read/write
325 325  + * The finite state machine has an initial state and one or more final states
326 326   see some examples in 'examples.txt'
327 -{{/code}}
326 +{{/noformat}}
328 328  )))
329 329  
330 330  The {{code language="none"}}gitk{{/code}} tool should now display this graph:
... ... @@ -339,7 +339,7 @@
339 339  
340 340  1. Register to the Gitorious system: [[https:~~/~~/git.rtsys.informatik.uni-kiel.de/>>url:https://git.rtsys.informatik.uni-kiel.de/||shape="rect"]] (use your //Institut für Informatik// login name and email address)
341 341  1. Go to your //Dashboard// → //Manage SSH keys// → //Add SSH key//
342 -1. Copy & paste the content of your public SSH key.
341 +1. Copy & paste the content of your public SSH key.\\
343 343  1*. If you don't have an SSH key: use the shell command {{code language="none"}}ssh-keygen{{/code}}, confirm the default destination file {{code language="none"}}~/.ssh/id_rsa{{/code}}, 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 {{code language="none"}}~/.ssh/id_rsa{{/code}}, which has to be kept secret, and a public key {{code language="none"}}~/.ssh/id_rsa.pub{{/code}}.
344 344  1. Go to //Projects// → //Create a new project// and call it "personal-<login>", replacing <login> with your own login name.
345 345  1. On the next page, create a repository named "turing" (or select //Add repository// on your project page).
... ... @@ -349,7 +349,7 @@
349 349  1. (((
350 350  Transfer your {{code language="none"}}master{{/code}} branch to the new server-side repository. Replace the URL in the following command by the one copied from Gitorious:
351 351  
352 -{{code}}
351 +{{noformat}}
353 353  $ git remote add gitorious git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git
354 354  $ git push gitorious master
355 355  Counting objects: 15, done.
... ... @@ -360,7 +360,7 @@
360 360  remote: => Syncing Gitorious... [OK]
361 361  To git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git
362 362   * [new branch] master -> master
363 -{{/code}}
362 +{{/noformat}}
364 364  
365 365  The first command adds a //remote// named "gitorious" to your local repository, which is just a bookmark for the long URL. The second command transfers the {{code language="none"}}master{{/code}} branch to the server, which is called //pushing//. After that is done, reload the Gitorious page in your browser, and you see all changes that are transferred to the server-side repository.
366 366  )))
... ... @@ -367,7 +367,7 @@
367 367  1. (((
368 368  Create a local clone of your remote repository (replace the URL accordingly):
369 369  
370 -{{code}}
369 +{{noformat}}
371 371  $ cd ..
372 372  $ git clone git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git turing2
373 373  Initialized empty Git repository in /home/msp/tmp/turing2/.git/
... ... @@ -377,7 +377,7 @@
377 377  Receiving objects: 100% (15/15), done.
378 378  Resolving deltas: 100% (3/3), done.
379 379  $ cd turing2
380 -{{/code}}
379 +{{/noformat}}
381 381  
382 382  The {{code language="none"}}clone{{/code}} command automatically creates a remote named {{code language="none"}}origin{{/code}} in the new local repository, which is set to the given URL. You will use this second clone to simulate another user with access to the repository.
383 383  )))
... ... @@ -385,7 +385,7 @@
385 385  1. (((
386 386  Push the new commit to the server:
387 387  
388 -{{code}}
387 +{{noformat}}
389 389  $ git push
390 390  Counting objects: 5, done.
391 391  Delta compression using up to 16 threads.
... ... @@ -395,11 +395,11 @@
395 395  remote: => Syncing Gitorious... [OK]
396 396  To git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git
397 397   8af2d50..1d1577f master -> master
398 -{{/code}}
397 +{{/noformat}}
399 399  
400 400  In this case the push command can be used without arguments, which means that it pushes all branches as configured in {{code language="none"}}.git/config{{/code}}:
401 401  
402 -{{code}}
401 +{{noformat}}
403 403  $ more .git/config
404 404  [core]
405 405   repositoryformatversion = 0
... ... @@ -412,7 +412,7 @@
412 412  [branch "master"]
413 413   remote = origin
414 414   merge = refs/heads/master
415 -{{/code}}
414 +{{/noformat}}
416 416  
417 417  Here the branch {{code language="none"}}master{{/code}} is linked with the remote {{code language="none"}}origin{{/code}}, hence {{code language="none"}}git push{{/code}} does the same as {{code language="none"}}git push origin master{{/code}}.
418 418  )))
... ... @@ -419,16 +419,16 @@
419 419  1. (((
420 420  Go back to the original local repository and check out the {{code language="none"}}master{{/code}} branch:
421 421  
422 -{{code}}
421 +{{noformat}}
423 423  $ cd ../turing
424 424  $ git checkout master
425 425  Switched to branch 'master'
426 -{{/code}}
425 +{{/noformat}}
427 427  )))
428 428  1. (((
429 429  Merge the {{code language="none"}}sketches{{/code}} branch into {{code language="none"}}master{{/code}}:
430 430  
431 -{{code}}
430 +{{noformat}}
432 432  $ git merge sketches
433 433  Updating 8af2d50..21d5ddb
434 434  Fast-forward
... ... @@ -435,7 +435,7 @@
435 435   examples.txt | 5 +++++
436 436   notes.txt | 1 +
437 437   2 files changed, 6 insertions(+), 0 deletions(-)
438 -{{/code}}
437 +{{/noformat}}
439 439  
440 440  Now your local {{code language="none"}}master{{/code}} branch and the one on the server-side repository have diverged
441 441  )))
... ... @@ -442,7 +442,7 @@
442 442  1. (((
443 443  Fetch the server-side changes:
444 444  
445 -{{code}}
444 +{{noformat}}
446 446  $ git fetch gitorious
447 447  remote: Counting objects: 5, done.
448 448  remote: Compressing objects: 100% (3/3), done.
... ... @@ -450,16 +450,16 @@
450 450  Unpacking objects: 100% (3/3), done.
451 451  From git.rtsys.informatik.uni-kiel.de:personal-msp/turing
452 452   8af2d50..1d1577f master -> gitorious/master
453 -{{/code}}
452 +{{/noformat}}
454 454  
455 455  Now the change to {{code language="none"}}examples.txt{{/code}} that was previously committed in the {{code language="none"}}turing2{{/code}} repository is stored in a //remote tracking branch// named {{code language="none"}}gitorious/master{{/code}}:
456 456  
457 -{{code}}
456 +{{noformat}}
458 458  $ git branch -a
459 459  * master
460 460   sketches
461 461   remotes/gitorious/master
462 -{{/code}}
461 +{{/noformat}}
463 463  
464 464  You can analyze the remote tracking branch using the {{code language="none"}}log{{/code}} and {{code language="none"}}show{{/code}} commands. However, you should never directly modify a remote tracking branch.
465 465  )))
... ... @@ -466,13 +466,13 @@
466 466  1. (((
467 467  You can merge the remote changes into your local {{code language="none"}}master{{/code}} branch with the following command:
468 468  
469 -{{code}}
468 +{{noformat}}
470 470  $ git merge gitorious/master
471 471  Auto-merging examples.txt
472 472  Merge made by recursive.
473 473   examples.txt | 8 ++++----
474 474   1 files changed, 4 insertions(+), 4 deletions(-)
475 -{{/code}}
474 +{{/noformat}}
476 476  
477 477  Since this combination of {{code language="none"}}fetch{{/code}} and {{code language="none"}}merge{{/code}} is used very often, Git offers a shortcut for it, namely the {{code language="none"}}pull{{/code}} command. In this case the according command would have been {{code language="none"}}git pull gitorious master{{/code}}.
478 478  )))
... ... @@ -479,7 +479,7 @@
479 479  1. (((
480 480  Push the merged branch to the server, and then push the {{code language="none"}}sketches{{/code}} branch, which is not on the server yet:
481 481  
482 -{{code}}
481 +{{noformat}}
483 483  $ git push gitorious master
484 484  Counting objects: 23, done.
485 485  Delta compression using up to 16 threads.
... ... @@ -494,19 +494,19 @@
494 494  remote: => Syncing Gitorious... [OK]
495 495  To git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git
496 496   * [new branch] sketches -> sketches
497 -{{/code}}
496 +{{/noformat}}
498 498  )))
499 499  1. (((
500 500  As next step change your working directory to the second local repository {{code language="none"}}turing2{{/code}}, add the following line to the end of {{code language="none"}}notes.txt{{/code}} in the {{code language="none"}}turing2{{/code}} directory, and commit the change:
501 501  
502 -{{code nopanel="true"}}
501 +{{noformat nopanel="true"}}
503 503  TODO: formal definition
504 -{{/code}}
503 +{{/noformat}}
505 505  )))
506 506  1. (((
507 507  Trying to push this commit to the server results in the following error message:
508 508  
509 -{{code}}
508 +{{noformat}}
510 510  $ git push
511 511  To git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git
512 512   ! [rejected] master -> master (non-fast-forward)
... ... @@ -514,7 +514,7 @@
514 514  To prevent you from losing history, non-fast-forward updates were rejected
515 515  Merge the remote changes before pushing again. See the 'Note about
516 516  fast-forwards' section of 'git push --help' for details.
517 -{{/code}}
516 +{{/noformat}}
518 518  
519 519  This is because you have modified the branch while working in the original {{code language="none"}}turing{{/code}} repository, and these changes have to be merged with the new commit you have just made for {{code language="none"}}notes.txt{{/code}}.
520 520  )))
... ... @@ -521,7 +521,7 @@
521 521  1. (((
522 522  The solution is to apply the {{code language="none"}}pull{{/code}} command followed by the {{code language="none"}}push{{/code}} command:
523 523  
524 -{{code}}
523 +{{noformat}}
525 525  $ git pull
526 526  remote: Counting objects: 23, done.
527 527  remote: Compressing objects: 100% (14/14), done.
... ... @@ -544,7 +544,7 @@
544 544  remote: => Syncing Gitorious... [OK]
545 545  To git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git
546 546   957f686..b58ded7 master -> master
547 -{{/code}}
546 +{{/noformat}}
548 548  
549 549  While {{code language="none"}}pull{{/code}} performs a {{code language="none"}}fetch{{/code}} and a {{code language="none"}}merge{{/code}}, {{code language="none"}}push{{/code}} transfers the new merged branch to the server. Note that during the merge operation conflicts can occur. In that case you have to resolve them and commit the changes before you can push. When used without parameters like shown above, {{code language="none"}}pull{{/code}} lookes in {{code language="none"}}.git/config{{/code}} to determine which branches to pull from which remotes.
550 550  )))
... ... @@ -551,11 +551,11 @@
551 551  1. (((
552 552  In order to check out the {{code language="none"}}sketches{{/code}} branch locally, which was previously pushed to the server, simply type the following command:
553 553  
554 -{{code}}
553 +{{noformat}}
555 555  $ git checkout sketches
556 556  Branch sketches set up to track remote branch sketches from origin.
557 557  Switched to a new branch 'sketches'
558 -{{/code}}
557 +{{/noformat}}
559 559  
560 560  This branch can be pushed and pulled with the server in the same way as you did for the {{code language="none"}}master{{/code}} branch. Never check out {{code language="none"}}origin/sketches{{/code}}, since that is a remote tracking branch!
561 561  )))
... ... @@ -572,7 +572,7 @@
572 572  
573 573  While working on his Machine, Alan Turing has produced a temporary file {{code language="none"}}experiments.tmp{{/code}}, which he does not want to commit in the repository:
574 574  
575 -{{code}}
574 +{{noformat}}
576 576  $ git status
577 577  # On branch master
578 578  # Untracked files:
... ... @@ -580,11 +580,11 @@
580 580  #
581 581  # experiments.tmp
582 582  nothing added to commit but untracked files present (use "git add" to track)
583 -{{/code}}
582 +{{/noformat}}
584 584  
585 585  Since the extra mention of that file can make Git's status reports unnecessarily cluttered, Alan wants to ignore it permanently. Help him by adding a {{code language="none"}}.gitignore{{/code}} file to the repository:
586 586  
587 -{{code}}
586 +{{noformat}}
588 588  $ echo "*.tmp" > .gitignore
589 589  $ git add .gitignore
590 590  $ git commit -m "added ignore file"
... ... @@ -596,7 +596,7 @@
596 596  # Your branch is ahead of 'origin/master' by 1 commit.
597 597  #
598 598  nothing to commit (working directory clean)
599 -{{/code}}
598 +{{/noformat}}
600 600  
601 601  Now the experiments.tmp{{code language="none"}}{{/code}} file is not considered when viewing the status. You can add arbitrary file name patterns to the {{code language="none"}}.gitignore{{/code}} file; for example it is a good idea to ignore {{code language="none"}}*.class{{/code}}, which are binary files generated for Java projects.
602 602  
... ... @@ -604,7 +604,7 @@
604 604  
605 605  While working on his Machine, Alan Turing has made some changes to notes.txt that he later found out to be nonsense:
606 606  
607 -{{code}}
606 +{{noformat}}
608 608  $ git status
609 609  # On branch master
610 610  # Changed but not updated:
... ... @@ -614,29 +614,29 @@
614 614  # modified: notes.txt
615 615  #
616 616  no changes added to commit (use "git add" and/or "git commit -a")
617 -{{/code}}
616 +{{/noformat}}
618 618  
619 619  Help Alan by restoring the last committed state of that file:
620 620  
621 -{{code}}
620 +{{noformat}}
622 622  $ git checkout HEAD notes.txt
623 623  $ git status
624 624  # On branch master
625 625  nothing to commit (working directory clean)
626 -{{/code}}
625 +{{/noformat}}
627 627  
628 628  Instead of HEAD, which is the last commit on the current branch, you can also name any other branch or commit hash. In that case you would have to commit the change to make it permanent. While resolving conflicts it is possible to use {{code language="none"}}--theirs{{/code}} or {{code language="none"}}--ours{{/code}} instead of HEAD, which replaces the whole content of the respective file by their version (the one on the remote branch) or our version (the one on the current branch).
629 629  
630 630  A more brute-force option is using the {{code language="none"}}reset{{/code}} command:
631 631  
632 -{{code}}
631 +{{noformat}}
633 633  $ git reset --hard
634 634  HEAD is now at b58ded7 Merge branch 'master' of git.rtsys.informatik.uni-kiel.de:personal-msp/turing
635 -{{/code}}
634 +{{/noformat}}
636 636  
637 637  This resets //all// changes to the working copy to the head of the current branch, so use it with caution! However, {{code language="none"}}reset{{/code}} does not remove unstaged files. In order to do that in one command, use {{code language="none"}}clean{{/code}}:
638 638  
639 -{{code}}
638 +{{noformat}}
640 640  $ git status
641 641  # On branch master
642 642  # Untracked files:
... ... @@ -648,7 +648,7 @@
648 648  $ git clean -f
649 649  Removing test1.tmp
650 650  Removing test2.tmp
651 -{{/code}}
650 +{{/noformat}}
652 652  
653 653  === Rebasing ===
654 654  
... ... @@ -658,7 +658,7 @@
658 658  
659 659  If you want to merge the changes made on the {{code language="none"}}master{{/code}} branch into the {{code language="none"}}sketches{{/code}} branch, the normal way is to use the {{code language="none"}}merge{{/code}} command and create a merge commit. However, the {{code language="none"}}rebase{{/code}} command gives an interesting alternative to that: it reapplies all commits done in the current branch starting from a given reference.
660 660  
661 -{{code}}
660 +{{noformat}}
662 662  $ git rebase master
663 663  First, rewinding head to replay your work on top of it...
664 664  Applying: added another example
... ... @@ -666,7 +666,7 @@
666 666  Using index info to reconstruct a base tree...
667 667  Falling back to patching base and 3-way merge...
668 668  Auto-merging notes.txt
669 -{{/code}}
668 +{{/noformat}}
670 670  
671 671  Afterwards the commit graph looks like this:
672 672  
... ... @@ -682,13 +682,13 @@
682 682  
683 683  Finally Alan Turing has made a great success in the development of his Machine, and he would like to fix that stage as "Milestone 1". Help him by tagging the current state of the project:
684 684  
685 -{{code}}
684 +{{noformat}}
686 686  $ git tag milestone1
687 -{{/code}}
686 +{{/noformat}}
688 688  
689 689  Then the head of the current branch is stored under the name {{code language="none"}}milestone1{{/code}}, so it can be found very easily at later stages of the project:
690 690  
691 -{{code}}
690 +{{noformat}}
692 692  $ git tag
693 693  milestone1
694 694  $ git checkout milestone1
... ... @@ -704,6 +704,6 @@
704 704   git checkout -b new_branch_name
705 705  
706 706  HEAD is now at 957f686... Merge remote branch 'gitorious/master'
707 -{{/code}}
706 +{{/noformat}}
708 708  
709 709  Tags can also be loaded to the server using the {{code language="none"}}push{{/code}} command.