From ea4cca74440aa4fca58b47be2a0697f424494607 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cyryl=20P=C5=82otnicki?= Date: Sat, 17 Aug 2019 22:56:47 +0100 Subject: [PATCH] make sure we use correct interpreter for umount vault script --- tools/umount-vault | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"