Recettes informatiques

Fichier de resource .bashrc redefinissant rm (deplacement vers ~/.wastebasket) # -*- sh -*- # # If not running interactively, don't do anything [ -z "$PS1" ] && return # User preferences export NAME="Laurent Mazet" export EMAIL=… suite »

Script convertissant un fichier au format EPS à partir d'un fichier FIG (xfig). On appelle LaTeX pour convertir les chaines de caractères qui contiennent des commandes LaTeX. #!/bin/sh # genfig (C) Marc de Courville 20 aout 1994 # Lau… suite »