mhcerri

# If you change this file, run 'update-grub' afterwards to update
# /boot/grub/grub.cfg.
# For full documentation of the options in this file, see:
#   info -f grub -n 'Simple configuration'

GRUB_DEFAULT=0
GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`

mhcerri

#!/bin/sh
URL='http://www.pragmatismopolitico.com.br/2014/09/os-253-candidatos-ficha-suja-nas-eleicoes-2014.html'
curl "$URL" 2> /dev/null |
html2text |
iconv -f utf-8 -t ascii//translit |
tr '[:lower:]' '[:upper:]' |
grep '|' |
perl -p -e 's/\n/ /g' |
sed -e 's/|/ /g' |
sed -e 's/\s*-\s*/-/g' |

mhcerri

/**
 *  DMKInput sequence.
 *
 *  DMKInput ::= SEQUENCE {
 *     attrList             Attributes,
 *     parmsListChoice      DMKInputParmsList
 *  }
 *
 *  DMKInputParmsList ::= CHOICE {
 *     SSL-KM_TLS-KM [0]    SSL_TLS_DMKInputParmsList