idris-community / inigo

Inigo: A Package Manager for Idris2
https://inigo.pm
MIT License
61 stars 7 forks source link

Registration #4

Open bbarker opened 4 years ago

bbarker commented 4 years ago

Hi,

I tried taking a quick peak at the source but am still not sure what is intended for registration. I tried the following, for instance:

[nix-shell:~/workspace/Free]$ inigo register
usage: Inigo <command> <...args>

        archive <pkg_file> <out_file>: Archive a given package
        build <code-gen=node>: Build program under given code gen
        build-deps: Build all deps
        exec ...args: Execute program with given args [WIP codegen]
        extract <archive_file> <out_path>: Extract a given archive to directory
        fetch-deps <server>: Fetch and build all deps (opts: --no-build, --dev)
        init <namespace> <package>: Initialize a new project with given namespace and package name
        login <server>: Login to an account
        pull <server> <package_ns> <package_name> <version?>: Pull a package from remote
        push <server> <pkg_file>: Push a package to remote
        register <server>: Register an account namespace
        test: Run tests via IdrTest

[nix-shell:~/workspace/Free]$ inigo register inigo.pm
usage: Inigo <command> <...args>

        archive <pkg_file> <out_file>: Archive a given package
        build <code-gen=node>: Build program under given code gen
        build-deps: Build all deps
        exec ...args: Execute program with given args [WIP codegen]
        extract <archive_file> <out_path>: Extract a given archive to directory
        fetch-deps <server>: Fetch and build all deps (opts: --no-build, --dev)
        init <namespace> <package>: Initialize a new project with given namespace and package name
        login <server>: Login to an account
        pull <server> <package_ns> <package_name> <version?>: Pull a package from remote
        push <server> <pkg_file>: Push a package to remote
        register <server>: Register an account namespace
        test: Run tests via IdrTest

Perhaps I missed some step prior, though as I understood it the register command is independent of other commands being run first.

hayesgm commented 4 years ago

Ah great point (this is from early testing). Right now, you need to point at a local dev server or the main prod server. So inigo register prod is what you're looking for. The CLI will likely be overhauled in due time.