Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).


L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT → ODT PDF Export

man2pdf.sh

  • Objet : Conversion d'une page man en pdf
  • Niveau requis :
man2pdf.sh
#!/bin/bash
 
ps2pdffile="`which ps2pdf 2> /dev/null`"
 
if [ ! -r "$ps2pdffile" -o ! -x "$ps2pdffile" ]
then
    echo "Unable to locate ps2pdf."
    exit 1
fi
 
man -t $1 > $1.ps 2> /dev/null && ps2pdf $1.ps 2> /dev/null
 
if [ ! $? -eq 0 ]
then
    rm -f $1.ps
    exit 1
fi
 
rm -f $1.ps
 
echo "The manual for $1 was converted to a PDF file and placed in the current directory."
exit 0
utilisateurs/greenmerlin/config/man2pdf.sh.txt · Dernière modification: 29/01/2016 08:19 par greenmerlin

Pied de page des forums

Propulsé par FluxBB