Subsections

- - Setting up the initial clone
  - Update an existing repo
  - Useful git commands

##
Cloning the Repository for Faster Updates

If you want to avoid downloading the software every time an update is available you need to create a local “repository” or repo. The repo is a directory where you first do a git clone. For the initial git clone, set up a local area for the repository storage, referred to as <repo_path>. The git clone creates a repo named cin5 in the /<repo_path>/ directory. This accesses about 530 MB of repo data, so the device has to have at least that available. The repo path is always a perfect clone of the main repo.

####
Setting up the initial clone

You may want to add “`--depth 1`” before cin5 because this will clone faster and is smaller, but has no history.

    cd /<repo\_path>/
    git clone git://git.cinelerra-gg.org/goodguy/cinelerra cin5

    Cloning into "cin5"...
    remote: Counting objects: 20032, done.
    remote: Compressing objects: 100% (11647/11647), done.
    remote: Total 20032 (delta 11333), reused 16632 (delta 8189)
    Receiving objects: 100% (20032/20032), 395.29 MiB | 3.26 MiB/s, done.
    Resolving deltas: 100% (11333/11333), done.
    Checking connectivity... done.

####
Update an existing repo

The below shows how you can get updates.

    cd /<repo home>/cin5
    git pull

####
Useful git commands

Some other commands that are useful.

    git clone git://git.cinelerra-gg.org/goodguy/cinelerra.git cin5
    git pull         # pull remote changes to the local version
    git status       # shows changed files
    git clean -i     # interactive clean, use answer 1 to "clean"