diff --git a/tools/umount-vault b/tools/umount-vault index dff9aedb..677f26bb 100755 --- a/tools/umount-vault +++ b/tools/umount-vault @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e VERACRYPT="veracrypt"