#!/bin/sh
exec vim --servername hol_light_goals /tmp/hol_light_goals
