-
Notifications
You must be signed in to change notification settings - Fork 368
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
At present opam plugin will simply run opam-plugin if it is resolved in the environment of the current switch. Now $OPAMROOT/plugins/bin is checked for the required symlink. The command is still resolved as normal, but the presence or not of the symlink is used to control whether opam _installs_ the plugin package or does a reinstall. The reinstall both recreates the symlink and ensures that any changes to the plugin have been picked up.
- Loading branch information
Showing
2 changed files
with
23 additions
and
9 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters