#!/bin/sh
$TERMINAL "$FILE" "${1%/*}"
