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"