I finished off the remaining mocha bucket subcommands, those being add, rm and list. These commands manage “buckets” which are pretty much just package sources.

mocha bucket add uses git to clone the relevant bucket into the [MOCHA_DIR]/buckets directory. By default MOCHA_DIR is [USER]/mocha

mocha bucket list simply loops over the [MOCHA_DIR]/buckets directory and gets relevant info for each bucket.

mocha bucket rm removes a bucket by just deleting the folder containing the bucket. For example, removing the main bucket deletes [MOCHA_DIR]/buckets/main