#!/bin/bash # Copyright ©2007-2008 Hugo Mills # Licensed under GPLv2. See the file COPYING for full details. CONFDIR=/etc/vamos if [ -f ${CONFDIR}/vamos.conf ]; then . ${CONFDIR}/vamos.conf fi if [ -f ${USERCONFDIR}/vamos.conf ]; then . ${USERCONFDIR}/vamos.conf fi VMNAME=${1} if [ -z "${VMNAME}" ]; then echo No config file specified exit 1 fi if [ -f ${CONFDIR}/${VMNAME} ]; then . ${CONFDIR}/${VMNAME} elif [ -f ${USERCONFDIR}/${VMNAME} ]; then . ${USERCONFDIR}/${VMNAME} else echo Config ${VMNAME} not found. exit 1 fi if [ -z "${ID}" ]; then echo No ID specified for ${VMNAME} exit 1 fi shift if [ ${UID} -eq 0 ]; then PIDDIR=/var/run/vamos/pids else PIDDIR=${HOME}/.vamos/run/pids fi kill -9 $(cat ${PIDDIR}/vm.${VMNAME}.${ID})