Ressources informatiques

0. Impression des documents.

1. Redimensionnement d'un fichier pdf avant impression.

2. Figures dans un document Latex avec Xfig.

3. Production de documents HTML
    On peut utiliser l'éditeur de Mozilla ou Nvu. Pratique pour un document court et unique.
    On peut produire un document HTML avec Latex. Voir le tutoriel TeX4ht sur la page d'Alexis Polti. Très interessant pour produire des feuilles de TD au format HTML avec du texte TeX interprété (comme les formules mathématiques) et éviter, grâce aux macro, la répétition des mises en forme.
    On peut produire le code source avec des macro grâce à l'outil 'm4'. Il faut au préalable connaître la syntaxe du HTML, mieux encore du CSS, et aussi apprendre m4 ! Ce n'est pas rentable pour la production d'un seul document.

Winxx : 'pbrush' dans le menu "executer une commande" pour lancer Paint.

4. Scanner Xerox de la bibliothèque - post-traitement.

5. Tracer de surfaces, Gnuplot et LaTeX.

6. Utilisation de la commande 'screen' pour lancer des calculs. (démonstration réalisée avec l'applet ScreenShot+Record Desktop (Linux Mint))

7. Exporter des dossiers de mails avec Mozilla Thunderbird.

8. Zsh scripts