beckermj/vaguerent
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #13207 from chrisroberts/extension-dev-libs

Browse Source 
Clarify missing library error
This commit is contained in:
Chris Roberts 2023-06-12 17:25:37 -07:00 committed by GitHub
commit 15291e2ab7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 10 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
templates/locales/en.yml
View File

@ -1280,12 +1280,19 @@ en:
again.
plugin_missing_library: |-
Vagrant failed to install the requested plugin because it depends
on a library which is not currently installed on this system. The
following library is required by the '%{name}' plugin:
on development files for a library which is not currently installed
on this system. The following library is required by the '%{name}'
plugin:
%{library}
Please install the library and then run the command again.
If a package manager is used on this system, please install the development
package for the library. The name of the package will be similar to:
%{library}-dev or %{library}-devel
After the library and development files have been installed, please
run the command again.
plugin_missing_ruby_dev: |-
Vagrant failed to install the requested plugin because the Ruby header
files could not be found. Install the ruby development package for your