Le script utilise la commande ps2pdf fournie par le paquet gs-common.
#!/bin/bash
#converti une page de manuel en pdf
PAGE=$1
man -t $PAGE > $HOME/$PAGE.ps
ps2pdf $HOME/$PAGE.ps && rm -f $HOME/$PAGE.ps
Par ailleurs il est possible de se passer du fichier postscript temporaire et de renvoyer la sortie standard vers ps2pdf.
man -t $PAGE > | ps2pdf - ${PAGE}.pdf
localepurge permet de supprimer les fichiers de localisation dont vous n'avez pas besoin. À l'installation du paquet vous choisissez les langues dont vous voulez conserver les traductions. Par la suite localepurge est invoqué à chaque installation d'un nouveau paquet et supprime les traductions non désirées. Chaque installation vous indique combien d'espace a été libéré par localepurge.
Sur l'installation d'un poste de travail avec Gnome, KDE ou XFCE localepurge peut permettre de libérer quelques dizaines voire centaines de mébioctect.
nota bene : localepurge est indépendant de dpkg/apt, c'est un «hack» permettant de faire un peu de place sur votre machine. Sachez donc que cela peut vous mener à de petit soucis. Cependant, j'utilise localepurge depuis la version Woody de Debian et je n'ai encore jamais identifié un problème comme étant lié à localepurge.
Un exemple lors de l'installation de mplayer sur Debian/Lenny :
[…] Sélection du paquet mplayer précédemment désélectionné. Dépaquetage de mplayer (à partir de .../mplayer_1.0~rc2-4_i386.deb) ... Paramétrage de mplayer-skin-blue (1.6-2) ... Paramétrage de mplayer (1.0~rc2-4) ... Configuring mplayer ...done localepurge: Disk space freed in /usr/share/man: 932K […]
localepurge est disponible sur toutes les versions de Debian.
Un petit bout de code utile pour travailler sur des copies locales de documents et les publier rapidement.
#! /bin/sh
#
#
# pub.doc.sh
# 15 octobre 2007 : v0.9
# 15 octobre 2007 : v1.0 ajout d'options d'exécution
SERVEUR=serveur.org
UTILISATEUR=user
#Répertoire où seront copiés les fichiers.
# chemin relatif à /home/$UTILISATEUR
# si $1 n'est pas fournie, REP_DEFAUT est initialisé avec une valeur
#par défaut
REP_DEFAUT="public_html/";
REP_PUB=${1:-"$REP_DEFAUT"}
shift # $2 devient $1 etc…
while test $# -ne 0
do
SUM=$(basename $1).md5
# étant donné le basename utilisé pour créer $SUM, il est
# nécessaire d'exécuter pub.doc.sh dans le répertoire contenant les
# fichier (cf. test suivant)
# copie si [ $1 est un fichier ]
# ET [ la somme de contrôle existe ]
# ET la somme de contrôle ne concorde pas (! md5sum)
if [ -f $1 ] && [ -f $SUM ] && ! md5sum --status -c ${SUM}
then
echo "ssh copy ($SERVEUR):"
if scp $1 ${UTILISATEUR}@${SERVEUR}:${REP_PUB}
then
echo "fichier copié"
echo -e "mise à jour de la somme de contrôle de $1 \n"
#md5sum $1 > ${SUM}
else
echo -e "erreur scp, le fichier $1 n'a pas été copié\n"
fi
else
echo "$1 non traité"
fi
shift
done
exit 0
Page générée en 180ms
Révision 19.