tlmgr-dump-tlpdb, tlmgr-recreate-tlpdb: add page (#8290)

pull/1/head
marchersimon 2022-09-20 13:30:55 +02:00 committed by GitHub
parent f89ebb43b9
commit 9f75e9304b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 25 additions and 0 deletions

View File

@ -0,0 +1,16 @@
# tlmgr dump-tlpdb
> Dump the TeX Live package database.
> More information: <https://www.tug.org/texlive/tlmgr.html>.
- Dump the local package database:
`tlmgr dump-tlpdb --local`
- Dump the remote package database:
`tlmgr dump-tlpdb --remote`
- Dump the local package database as JSON:
`tlmgr dump-tlpdb --local --json`

View File

@ -0,0 +1,9 @@
# tlmgr recreate-tlpdb
> Recreate the TeX Live package database.
> This command has a lack of documentation and should be used with caution.
> More information: <https://www.tug.org/texlive/tlmgr.html>.
- Recreate the `texlive.tlpdb` database file and dump it to stdout:
`sudo tlmgr recreate-tlpdb`