#!/bin/bash
if [ $# -eq 0 ]; then
    echo "Usage: $0 <profile>"
    exit 1
fi

profile="$1"

sudo umount /tmp/wacca/$profile/game
sudo umount /tmp/wacca/$profile/lower
sudo fusermount -u /tmp/wacca/$profile/dev