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 →
#!/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