Convertendo man pages em arquivos pdf
Publicado por Sandro Marcell 17/10/2007
[ Hits: 6.306 ]
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
infonow - all system information
Reinicia todos os trabalhos de todas as filas CUPS
Gerenciador de Conexões terminal server com Mysql
Nenhum comentário foi encontrado.
Passkeys: A Evolução da Autenticação Digital
Instalação de distro Linux em computadores, netbooks, etc, em rede com o Clonezilla
Título: Descobrindo o IP externo da VPN no Linux
Armazenando a senha de sua carteira Bitcoin de forma segura no Linux
Enviar mensagem ao usuário trabalhando com as opções do php.ini
Como configurar posicionamento e movimento de janelas no Lubuntu (Openbox) com atalhos de teclado
Máquinas Virtuais com IP estático acessando Internet no Virtualbox
Instalar o Microsoft Edge no Slackware 15
Instalando Brave Browser no Linux Mint 22
vídeo pra quem quer saber como funciona Proteção de Memória:
Problema com nome composto e organização na tela do yad (0)
Formatando cartão de memoria que nao formata[AJUDA] (18)
Primeira vez utilizando Linux Ubuntu 22.04 e já tenho problemas… (5)
warsaw parou de funcionar após atualização do sistema (solução) (1)