Convertendo man pages em arquivos pdf
Publicado por Sandro Marcell 17/10/2007
[ Hits: 6.363 ]
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
Ajustando resolução do monitor
Nenhum coment�rio foi encontrado.
Aprenda a Gerenciar Permissões de Arquivos no Linux
Como transformar um áudio em vídeo com efeito de forma de onda (wave form)
Como aprovar Pull Requests em seu repositório Github via linha de comando
Aplicativo simples para gravar tela
Quebra de linha na data e hora no Linux Mint
Firefox não abre em usuário não administradores (2)
Ubuntu com problemas no áudio (1)
Sempre que vou baixar algum pacote acontece o erro dpkg (8)
tentando instalar em um notebook antigo o Linux LegacyOS_2023... [RESO... (8)