php/archived-pie
1
0
Fork 0
mirror of https://github.com/php/pie.git synced 2026-03-23 23:12:17 +01:00
Code Issues Packages Projects Releases Wiki Activity

Allow adding/removing Packagist.org repo

Browse Source
This commit is contained in:
James Titcumb
2025-01-23 11:08:58 +00:00
parent a1e3c7bc50
commit dcdd07650e
6 changed files with 75 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/usage.md
View File

@@ -239,6 +239,7 @@ to use some other repository types:
* `pie repository:add [--with-php-config=...] path /path/to/your/local/extension`
* `pie repository:add [--with-php-config=...] vcs https://github.com/youruser/yourextension`
* `pie repository:add [--with-php-config=...] composer https://repo.packagist.com/your-private-packagist/`
* `pie repository:add [--with-php-config=...] composer packagist.org`
The `repository:*` commands all support the optional `--with-php-config` flag
to allow you to specify which PHP installation to use (for example, if you have
@@ -248,6 +249,7 @@ removed too, using the inverse `repository:remove` commands:
* `pie repository:remove [--with-php-config=...] /path/to/your/local/extension`
* `pie repository:remove [--with-php-config=...] https://github.com/youruser/yourextension`
* `pie repository:remove [--with-php-config=...] https://repo.packagist.com/your-private-packagist/`
* `pie repository:remove [--with-php-config=...] packagist.org`
Note you do not need to specify the repository type in `repository:remove`,
just the URL.