1 files changed, 8 insertions, 0 deletions
diff --git a/tools/lib.bash b/tools/lib.bash
index 1cf459b..1d73ab2 100644
--- a/tools/lib.bash
+++ b/tools/lib.bash
@@ -120,3 +120,11 @@ download() {
 		die "neither curl nor wget found, can't proceed"
 	fi
 }
+
+file_in_use() {
+	[ -n "$(lsof "$1")" ]
+}
+
+file_mtime() {
+	stat -c %Y "$1"
+}