#!/bin/sh # not sure if we want to generate bash scripts, since we always want to run # only trusted executables cat <