Skip to content

Navigation Menu

Sign in
Sign up

FORM package manager - #338

Open
tueda wants to merge 4 commits into
form-dev:master from
tueda:package-manager
Open

FORM package manager #338
tueda wants to merge 4 commits into
form-dev:master from
tueda:package-manager

Conversation

@tueda

@tueda tueda commented Dec 2, 2019

Copy link
Copy Markdown
Collaborator

Though no one (except me) is interested in this, anyway I would like to record this work. See also #322.

tueda added 4 commits November 24, 2019 18:46
The new preprocessor instruction #UsePackage loads the specified package
installed in "~/.form/". If the package is unavailable, the command will
try to download and install it. Decent Unix shell and a set of commands
(including Curl) are assumed to be available via the system() function.
Example:
 #usepackage benruijl/forcer@v1.0.0
This option enables users to install a package in such a way that the
package can be loaded by #UsePackage.
Example:
 form -install benruijl/forcer@v1.0.0
The package manager now tries wget if curl is not available.

Copy link
Copy Markdown

Coverage Status

Coverage decreased (-0.1%) to 48.111% when pulling 881f373 on tueda:package-manager into 4057c65 on vermaseren:master.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

AltStyle によって変換されたページ (->オリジナル) /