Convertendo man pages em arquivos pdf
Publicado por Sandro Marcell 17/10/2007
[ Hits: 6.561 ]
Homepage: http://sanmarcell.wordpress.com
Simples script que converte man pages de comandos em arquivos pdf.
#!/bin/bash --norc
#
# Convertendo man pages em pdf's
#
# Sandro Marcell (sandro_marcell@yahoo.com.br)
# Realçando saída:
Echo() { echo -e "\e[1m$*\e[m" ; }
# São necessários: Ghostscript e troff:
[[ $(which gs) ]] || { Echo "-> É necessário o Ghostscript" ; exit 1 ; }
[[ $(which troff) ]] || { Echo "-> É necessário o troff" ; exit 1 ; }
# Checando parâmetros:
[[ $# != 1 ]] && Echo "Uso: ${0##*/} [comando]" && exit 1
# Checando a existência do comando:
[[ $(which $1) ]] || { Echo "[$1] Comando inexistente." ; exit 1 ; }
# Existe man page para o comando especificado?
[[ $(whereis $1 | fgrep "man") ]] || {
Echo "-> Não existe man page para [$1]"
exit 1
}
# Convertendo:
man -t $1 > $1.ps
[[ $? == 0 ]] && {
gs -dQUIET -dSAFER -dNOPAUSE -dBATCH -sDEVICE=pdfwrite \
-sOutputFile=$1.pdf $1.ps
rm -f $1.ps 2> /dev/null
Echo "Arquivo pdf criado." ; exit
} || { Echo "-> Erro ao criar arquivo pdf" ; exit 1 ; }
# Fim
Corrigindo problema com Splash no Ubuntu
Catsort - Concatenar resultado filtrando e removendo repetidas
Habilitar e Desabilitar a Touchscreen
Calcular o consumo de energia elétrica de eletrodomésticos
Instalando o REAPER no Ubuntu e Elementary OS
Nenhum comentário foi encontrado.
KDE Plasma - porque pode ser a melhor opção de interface gráfica
Gentoo: detectando impressoras de rede e como fixar uma impressora por IP
Como o GNOME conseguiu o feito de ser preterido por outras interfaces gráficas
Por que sua empresa precisa de uma PKI (e como automatizar EMISSÕES de certificados via Web API)
Instalando NoMachine no Gentoo com Systemd (acesso Remoto em LAN)
Gentoo: Trocando wpa_supplicant pelo iwd no NetworkManager (Systemd)
Instalar Linux em notebook Sony Vaio VPCEG13EB (10)
Vou destruir sua infância:) (6)
Quando vocês pararam de testar distros? (24)









