#!/bin/sh
purs ide $@