Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Initiate _tikzUseTectonic in init #81

Open
Ellipse0934 opened this issue Jan 1, 2022 · 1 comment
Open

Initiate _tikzUseTectonic in init #81

Ellipse0934 opened this issue Jan 1, 2022 · 1 comment

Comments

@Ellipse0934
Copy link

Ellipse0934 commented Jan 1, 2022

Changing init from __init__() = __init__svg() to

function __init__()
    __init__svg()
    try
        success(`$(tikzCommand()) -v`)
    catch
        global _tikzUseTectonic
        _tikzUseTectonic = true
    end
end

Automatically selects tectonic upon loading. We can additionally consider adding an environment variable with which users can specify which backend they wish to use.

Happy to file a PR, any thoughts ?

@mykelk
Copy link
Member

mykelk commented Jan 1, 2022

Sure, you can file a PR!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants