# C-shell file for gvecm (GVE configuation manager).
# We need to ensure that the path has /usr/local/bin /etc for
# stuff that we use at CLI.  Also that it has gve specific
# stuff in /usr/gve/tools.

set	path=($home $path /usr/local/bin /etc /usr/gve/tools)

