A role for installing TinyTeX in a multi-user setup.
Find the documentation at: https://dag-os.github.io/pages/dagos.tinytex/trunk
An Ansible role for installing TinyTeX in a multi-user setup.
Home Page: https://galaxy.ansible.com/dagos/tinytex
License: MIT License
A role for installing TinyTeX in a multi-user setup.
Find the documentation at: https://dag-os.github.io/pages/dagos.tinytex/trunk
Currently, TinyTeX is installed in a multi-user setup where everyone is able to use it.
The default installation of TinyTeX is a user-based installation, which some may prefer, especially since it does not require root privileges.
The release workflow is currently failing.
The most likely reason, is that the DAG-OS organization needs to be registered with ansible galaxy.
Ergo, we will have to wait for this issue to be worked on: ansible/galaxy#2851
Uninstalling TinyTeX may also be of interest.
This should be enough:
# Linux
tlmgr path remove
rm -r "<install_dir>"
From what I gather perl
is a fundamental dependency for LaTeX.
Installing it with this role would make sense.
It must be investigated if the package to install is the same on all supported platforms.
Add a note that perl
is a required system dependency.
Currently, it is only possible to install TinyTeX and there are additional considerations to be made when updating an existing installation.
Therefore, it probably makes most sense to implement a new state (update
) to update an existing installation.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.