Git is a free and open source distributed version control system designed to handle everything from small to very large projects with speed and efficiency.
Git is useful especially you are collaborating with others on developing software, maintaining exist project or writing a piece of paper. With help of git, you can easily and wisely finish your work without bothering on backup, update or recovery your gathering work.
Usually we could use simple
git command line to use git nicely. You can either choose the following recommended apps to setup your git and use it.
1. Choose or select directory to be your local git repository
mkdir your_folder cd your_foler
2. Create a new repository in your_folder
(Optional) You can also checkout (download) a remote repository from github
git clone /path/to/your_folder
3. When you propose some local changes, you should always add it
git add *
git add your_file_name
4. To be a mark on what you changed, you may need commit your change
git commit -m "message"
git commit -m "add one theorem"
5. If you are working on a remote repository (e.g. Github, Bitbucket), you can push your changes by using