Je suis passé de Windows 7
à Ubuntu 14.04
et je souhaite installer TikZ
éditeur TikzEdt
(voir ici et ici ). J'apprécierais beaucoup si quelqu'un m'expliquait comment l'installer. Merci
C'est assez simple, il suffit de suivre les instructions fournies au deuxième lien ( ici ).
Sudo apt-get install mono-complete texlive-full
tar -xf TikzEdt_2_1_Linux.tar.gz
dans le même dossier que le fichier téléchargé./tikzedt
.Vous devriez être bon pour y aller!