Feat: add texlab

2022-01-15 10:07:33 +01:00
parent 86869805a7
commit 14b34bb5db
1 changed files with 1 additions and 0 deletions
--- a/roles/workstation/defaults/main.yml
+++ b/roles/workstation/defaults/main.yml
@@ -70,6 +70,7 @@ pacman_office:

 pacman_work:
  - texlive-most
+  - texlab
  - gnuplot
  - auto-multiple-choice
  - xournalpp