CmdID

CmdID / Commands

tlmgr-pinning

The pinning action manages the pinning file. tldr-pages

On several platforms

Opens CmdID with your command. It is read in your browser and sent nowhere.

Several platforms

from tldr-pages, CC BY 4.0

Show the current pinning data

tlmgr pinning showIdentify

Pin the matching the packages to the given repository

tlmgr pinning add repository package1 package2 ...Identify

Remove any packages recorded in the pinning file matching the packages for the given repository

tlmgr pinning remove repository package1 package2 ...Identify

Remove all pinning data for the given repository

tlmgr pinning remove repository --allIdentify