From 7d97e8ed82a5634f40701c5ab6536ccd515e1038 Mon Sep 17 00:00:00 2001 From: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com> Date: Fri, 22 Dec 2023 13:05:19 +0100 Subject: [PATCH] tlmgr-platform: add Dutch translation (#11815) Co-authored-by: Juri Dispan --- pages.nl/common/tlmgr-platform.md | 24 ++++++++++++++++++++++++ pages/common/tlmgr-platform.md | 2 +- 2 files changed, 25 insertions(+), 1 deletion(-) create mode 100644 pages.nl/common/tlmgr-platform.md diff --git a/pages.nl/common/tlmgr-platform.md b/pages.nl/common/tlmgr-platform.md new file mode 100644 index 000000000..a67043976 --- /dev/null +++ b/pages.nl/common/tlmgr-platform.md @@ -0,0 +1,24 @@ +# tlmgr platform + +> Beheer TeX Live platforms. +> Meer informatie: . + +- Toon alle beschikbare platforms in een pakket repository: + +`tlmgr platform list` + +- Voeg de uitvoerbare bestanden toe aan een specifiek platform: + +`sudo tlmgr platform add {{platform}}` + +- Verwijder de uitvoerbare bestanden uit een specifiek platform: + +`sudo tlmgr platform remove {{platform}}` + +- Detecteer automatisch en wissel naar het huidige platform: + +`sudo tlmgr platform set auto` + +- Wissel naar een specifiek platform: + +`sudo tlmgr platform set {{platform}}` diff --git a/pages/common/tlmgr-platform.md b/pages/common/tlmgr-platform.md index cb0e6519c..f2a5b5cc7 100644 --- a/pages/common/tlmgr-platform.md +++ b/pages/common/tlmgr-platform.md @@ -17,7 +17,7 @@ - Auto-detect and switch to the current platform: -`sudo tlmgr platform set {{auto}}` +`sudo tlmgr platform set auto` - Switch to a specific platform: