LaTeX Course at EnCPos

Published on October 14, 2013.

This week I will be teaching LaTeX in the Scientific Meeting of Phd Students of IMECC (in portuguese "Encontro Científico dos Pós-Graduandos do IMECC").

The course will be in October 16th, 17th and 18th with one 1:20 long each day. It will be a little different from my other LaTeX course (read about it here <../../09/04/review_of_my_latex_course_at_semat>) and the schedule are:

X11

Published on October 13, 2013.

X11 é a interface padrão utilizada em distribuições GNU/Linux. Ela possui várias opções de configurações, incluíndo o tempo para desligar o monitor depois de alguns minutos sem atividade.

A seguir é informado como alterar o tempo mínimo sem atividade para ele desligar o monitor.

Antes de mais nada, para verificar a configuração atual do X11 utiliza-se:

$ xset q

É importante notar que a configuração será enviada para a saída padrão de forma que pode de redirecioná-la para um arquivo:

Procmail

Published on October 12, 2013.

Procmail é um agente entregador de email (MDA) que pode ser utilizado como filtro localmente.¹

A seguir será apresentado como criar e testar regras a serem utilizadas pelo procmail.

Regras

As regras seguem a seguinte sintaxe:

:0 [flags] [ : [locallockfile] ]
<zero ou mais condições (uma por linha)>
<ação a ser executada (em apenas uma linha)>

As condições, que sempre começam com *, costuma ser expressas na forma de uma expressão regular de forma que é satisfeita se a expressão regular for encontrada no email.

Listas de email

Published on October 11, 2013.

O email é uma das formas eletrônicas mais antigas de comunicação e que ainda continua sendo utilizanda hoje em dia. Um “tipo especial” de endereço de email são os de listas que de forma resumida funciona como um apelido para outros endereços de email com interesses comuns.

Alguns dos softwares LIVRES para gerenciamento de listas de email são, em ordem alfabética:

• Dada Mail,
• GNU Mailman,
• GroupServer,
• Smartlist,
• Sympa.

E alguns serviços GRATUITOS são, em ordem alfabética:

Ponta Negra

Published on October 10, 2013.

Eu não sou muito fã de praia (que é o nome que damos para a mistura de aréia, água, sal e sol). Mas como fui a trabalho para Ponta Negra (uma das praias de Natal - RN) precisava ao menos fazer uma caminhada na praia para ter o que contar aos amigos.