Skip to content

Add release downloading script for end users #123

Description

@elldritch

This is something curl-pipe-bash that downloads from GitHub releases and adds to $PATH, to make it easier for users to install.

See discussion in #121 (comment).

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions