Changes

Page history
have git instructions make $USER branches authored by Malin Freeborn's avatar Malin Freeborn
Show whitespace changes
Inline Side-by-side
dev/Compiling.md
View page @ 5c0dbf5d
...@@ -100,10 +100,10 @@ If you have an idea, but you want to show it to someone before committing to it, ...@@ -100,10 +100,10 @@ If you have an idea, but you want to show it to someone before committing to it,
Git gives you a lot of toys, but beginners will only need a few: Git gives you a lot of toys, but beginners will only need a few:
Make a new branch to play with called 'new'. Make a new branch to play with, and name it something (in this example, your username).
```bash ```bash
git switch -c new git switch -c $USER
``` ```
You can mess around here, making the changes you want. You can mess around here, making the changes you want.
...@@ -128,6 +128,6 @@ git commit ...@@ -128,6 +128,6 @@ git commit
Push your changes to gitlab, so everyone sees them. Push your changes to gitlab, so everyone sees them.
```bash ```bash
git push origin new git push origin $USER
``` ```
Remember you are pushing your own branch, so replace 'new' with whatever name you gave your branch. Remember you are pushing your own branch, so replace 'new' with whatever name you gave your branch.