diff --git a/pages.nl/common/tlmgr-platform.md b/pages.nl/common/tlmgr-platform.md new file mode 100644 index 0000000000..a670439760 --- /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 cb0e6519c3..f2a5b5cc7a 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: