Convertendo man pages em PDFs (Versão CShell)

Publicado por Sandro Marcell 15/07/2008

[ Hits: 4.848 ]

Homepage: http://sanmarcell.wordpress.com

Download conv.sh




Converta as famosas man pages de comandos em arquivos pdf, com este simples script.

Roda sob o cshell.

  



Esconder código-fonte

#!/bin/csh -f
#
# Convertendo man pages em arquivos pdf.
#
# Sandro Marcell (sandro_marcell@yahoo.com.br)

# Programas necessários:
which gs >& /dev/null || echo "-> Instale o Ghostscript." && exit 1
which troff >& /dev/null || echo "-> Instale o Troff" && exit 1

# Checando parâmetros:
if ($#argv != 1) goto Uso 
   
# O comando especificado existe?
which $1 >& /dev/null || echo "[$1] Comando não encontrado." && exit 1

# Existe man page para o comando especificado?
whereis -m $1 | fgrep "man" >& /dev/null 
if ($status != 0) goto Aviso

# Iniciando conversão:
# 1 - Convertendo para Postscript:
man -t $1 > $1.ps
if ($status == 0) then

   echo "Convertendo..." && sleep 1

   # 2 - Convertendo Postscript em pdf:
   gs -dQUIET -dSAFER -dNOPAUSE -dBATCH -sDEVICE=pdfwrite \
   -sOutputFile=$1.pdf $1.ps && rm -f $1.ps >& /dev/null
   
   sleep 1 && echo "Arquivo pdf criado." && exit 1

else
   echo "-> Erro ao criar arquivo pdf." && exit 1
endif

# Marcações:
Uso:
echo "Uso: $0:t COMANDO" && exit 1
Aviso:
echo "-> Não há man page disponível para [$1]" && exit 1
# Fim

Scripts recomendados

Instalação do ISC DHCP server no Ubuntu e derivados

Baixar aúdios em formato mp3 através de script com o youtube

Verificar se um mesmo arquivo está em dois diretórios diferentes

menu de interação 1 / 7 pt-br facil aprendizado

Script para adicionar usuario/computador Samba PDC


  

Comentários
[1] Comentário enviado por SMarcell em 15/07/2008 - 12:30h

Caraca! Nem me lembrava mais desse script!!!!!!!

;)

P.S. Será que alguém aqui no VOL utiliza o C Shell? =)

[2] Comentário enviado por vitinho217 em 25/06/2014 - 11:27h

Arquivo para download errado man :/


Contribuir com comentário




Patrocínio

Site hospedado pelo provedor RedeHost.
Linux banner

Destaques

Artigos

Dicas

Tópicos

Top 10 do mês

Scripts