#!/bin/csh
# Counterpart to the "disk" command.

cd
eject