diff --git a/pages/common/tlmgr-pinning.md b/pages/common/tlmgr-pinning.md new file mode 100644 index 000000000..968ea1b05 --- /dev/null +++ b/pages/common/tlmgr-pinning.md @@ -0,0 +1,20 @@ +# tlmgr pinning + +> The pinning action manages the pinning file. +> More information: . + +- 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`