Vim

Checking sender address

Scenario
  • mutt email client
  • vim editor
  • sending from more than one email account (e.g. separate personal and work addresses)
Problem
Emails are sometimes sent from an inappropriate address.
Possible solution
A simple vim plugin script that checks the sender address, a database of personal contacts and offers a choice of sender addresses if necessary. Further details are given inside the script.

Otl2draft

Requirement
Convert outlines written with The Vim Outliner into LaTeX drafts (or manipulate with Standard ML).
Possible solution
A small program, otl2draft, that performs the conversion:

Mutt

Querying evolution's address book

Scenario
  • Using mutt for sending email
  • But, evolution for storing contacts
Problem
Get addresses from evolution when sending messages from mutt.
Possible solution
This simple python script, that exploits the evolution library, using the ideas described here. (On Ubuntu: sudo apt-get install python-evolution.)

Uppaal

Changing a system declaration

Scenario
Problem
Change a system declaration from the command line so as to automatically generate different verification tasks.
Possible solution
This xslt stylesheet. It can be processed with xsltproc: 
xsltproc --stringparam system 'system Train, Gate;'        \
         --novalid change_uppaal_system.xml inputmodel.xml \
         > outputmodel.xml