tlmgr-pinning: add page (#9991)

Co-authored-by: K.B.Dharun Krishna <kbdharunkrishna@gmail.com>
tldr-pages · Apr 8, 2023 · 16d7f93 · 16d7f93
1 parent 0fdfd4c
commit 16d7f93
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/pages/common/tlmgr-pinning.md b/pages/common/tlmgr-pinning.md
@@ -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`