tlmgr-pinning: add page (#9991)

Co-authored-by: K.B.Dharun Krishna <kbdharunkrishna@gmail.com>
pull/23/head
Lauren Szlosek 2023-04-08 16:53:36 -07:00 committed by GitHub
parent 0fdfd4cf4e
commit 16d7f93aea
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 20 additions and 0 deletions

View File

@ -0,0 +1,20 @@
# tlmgr pinning
> The pinning action manages the pinning file.
> More information: <https://www.tug.org/texlive/doc/tlmgr.html#pinning>.
- Show the current pinning data:
`tlmgr pinning show`
- Pin the matching the packages to the given repository:
`tlmgr pinning add {{repository}} {{package1 package2 ...}}`
- Remove any packages recorded in the pinning file matching the packages for the given repository:
`tlmgr pinning remove {{repository}} {{package1 package2 ...}}`
- Remove all pinning data for the given repository:
`tlmgr pinning remove {{repository}} --all`