📦 Command-line tool

[favonia]

We don't really need a package manager now, but it's fun to create trolling PRs (for good reasons). Needs #52.

[favonia]

Cool Package Manager UI Proposal v0.2.0

Initialization

coolpkg init --root=/if/not/current/working/directory

Create an empty anchor file as https://github.com/RedPRL/cooltt/blob/main/test/cooltt-lib

Mounting

coolpkg mount git <URL> --branch=<branch name> --path=<path> <mount point>

Add a new entry to the anchor file.

Examples:

coolpkg mount git 'git@github.com:RedPRL/bantorra.git' --branch=main 'lib.bantorra'

Unmounting

coolpkg umount <mount point>

Remove an entry from the anchor file

Listing

coolpkg list-mounted

List mounted libraries

Synchronization

coolpkg sync

Print out the string 🤔 Why? Don't you know synchronization is automatic?