Changes for page Git
Last modified by Richard Kreissig on 2025/01/30 12:03
<
edited by Richard Kreissig
on 2025/01/30 12:03
on 2025/01/30 12:03
Change comment:
Update document after refactoring.
Summary
-
Page properties (3 modified, 0 added, 0 removed)
Details
- Page properties
-
- Parent
-
... ... @@ -1,1 +1,1 @@ 1 -Projects. Archive.Eclipse Practical (winter term 201213).Tutorials.WebHome1 +Projects.Eclipse Practical (winter term 201213).Tutorials.WebHome - Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki.s tu2309801 +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 -{{ codenopanel="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 -{{ codenopanel="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 -{{ codenopanel="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 -{{ codenopanel="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.