From 16d7f93aeaecce3be3ec5e11136278ca3ab640ad Mon Sep 17 00:00:00 2001 From: Lauren Szlosek <69598004+laurenszlosek@users.noreply.github.com> Date: Sat, 8 Apr 2023 16:53:36 -0700 Subject: [PATCH] tlmgr-pinning: add page (#9991) Co-authored-by: K.B.Dharun Krishna --- pages/common/tlmgr-pinning.md | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 pages/common/tlmgr-pinning.md 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`