search

RedPRL / bantorra

📚 A library for managing libraries and resolving unit paths
https://redprl.org/bantorra/bantorra
Apache License 2.0
17 stars 0 forks source link

📦 Command-line tool #62

Open favonia opened 3 years ago

favonia commented 3 years ago

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

favonia commented 3 years ago

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?