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 »