Convertendo man pages em arquivos pdf
Publicado por Sandro Marcell 17/10/2007
[ Hits: 6.368 ]
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
fwgen - gerador de regras de firewall iptables
Backup da database do gerenciador de pacotes RPM
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
Visualizar arquivos em formato markdown (ex.: README.md) pelo terminal
Dando - teoricamente - um gás no Gnome-Shell do Arch Linux
Como instalar o Google Cloud CLI no Ubuntu/Debian
Mantenha seu Sistema Leve e Rápido com a Limpeza do APT!
Procurando vídeos de YouTube pelo terminal e assistindo via mpv (2025)
O que você está ouvindo agora? [2] (183)
Gestão de Ambiente em uma rede Linux (2)
Ajuda Pra Melhoria do NFTABLES. (7)
Zorin OS - Virtual Box não consigo abrir maquinas virtuais (4)