Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow installation of specific package versions #60

Closed
james-d-mitchell opened this issue Nov 18, 2020 · 1 comment · Fixed by #68
Closed

Allow installation of specific package versions #60

james-d-mitchell opened this issue Nov 18, 2020 · 1 comment · Fixed by #68
Labels
feature request New feature

Comments

@james-d-mitchell
Copy link
Contributor

It’d be a useful feature of the package manager if it could accept a version number (as an optional argument) to InstallPackage. This would be useful, for example, when using the PackageManager in continuous integration.

@ThomasBreuer
Copy link
Contributor

I support this request. Today I ran into the following problem:
A package is already installed but its version is too old.
Thus I want to call InstallPackage programmatically but in a non-interactive way.
In this case, the function returns without trying to install the known newer version.
(If a version number is supported as an optional argument to InstallPackage then its meaning should be as in LoadPackage: "Take this version or a higher one except if the string starts with =".)

@mtorpey mtorpey added the feature request New feature label Feb 24, 2021
ThomasBreuer added a commit to ThomasBreuer/PackageManager that referenced this issue May 4, 2021
... as discussed in issue gap-packages#60

(I did not add tests of the new functionality,
first we should discuss whether the proposed change does what we want.)
ThomasBreuer added a commit to ThomasBreuer/PackageManager that referenced this issue May 4, 2021
... as discussed in issue gap-packages#60

(I did not add tests of the new functionality,
first we should discuss whether the proposed change does what we want.)
@wilfwilson wilfwilson linked a pull request May 20, 2021 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature request New feature
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants