xterm-kitty: unknown terminal type
2021-09-30 Thu by Tullio Facchinetti[CREDIT: This is mostly a re-post from an article of Lars O. Overskeid to keep the information handy]
Like in the original post, I’m also using kitty as my terminal emulator. There are some really cool features in this terminal emulator.
Read more →Inklayers: a program to generate PDF animations from SVG images
2021-01-12 Tue by Tullio FacchinettiInklayers was born to make the editing of “animated” PDF presentations with LaTeX Beamer easier.
The PDF format do not actually allow animations, but a similar effect can be obtained with a sequence of slides.
Read more →