logo
Free, unlimited AI code reviews that run on commit
git-lrc git-lrc GitHub Install Now We'd appreciate a star git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt

TLMGR Pinning - Manage Package Pinning | Online Free DevTools by Hexmos

Manage TLMGR package pinning with TLMGR Pinning. Add, remove, and show pinning data for package repositories. Free online tool, no registration required.

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

See Also