-
Notifications
You must be signed in to change notification settings - Fork 77
Rascal Developers Setup Step by Step
Some general git tips, and a few github specific tips.
-
be sure to setup your name in git:
git config --global user.name "Rascal Developer #42"
-
be sure to setup your email address:
git config --global user.email "[email protected]"
(this should match one of the email addresses in your profile) -
use the ssh URLs, they are easier to use, especially in combination with public keys.
-
make sure you use the ssh over port
443
tunneling trick this will assure you are able to access the repository anywhere :). -
Run this command
git config --global pull.rebase preserve
to avoid merge-commits but instead let pull rebase your unpushed commites on top of the remote commits- If conflict arises, you have to fix them as before, however, you have to remember to type
git rebase --continue
instead ofgit commit
- If you would want to merge a branch, make sure not to use
pull
, but usefetch
&&merge --no-ff
.
- If conflict arises, you have to fix them as before, however, you have to remember to type
The following projects should all reside in the same workspace which you use to develop Rascal:
Afterwards there are still some dependencies that have to be installed as Eclipse plug-ins:
- Add this Orbit Build Repository to the Eclipse update sites.
- And install ASM from that update site
Optionally, if you want to run the tutor compiler, see this page: Updating Tutor Documentation.