From aeaa7d150cacb5f858f1b516ca3e2234c68b8e55 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Tue, 23 Aug 2022 15:04:30 -0700 Subject: helper: file_exists --- file.lua | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/file.lua b/file.lua index 9440ae8..6b36b0f 100644 --- a/file.lua +++ b/file.lua @@ -1,4 +1,14 @@ -- primitives for saving to file and loading from file +function file_exists(filename) + local infile = App.open_for_reading(filename) + if infile then + infile:close() + return true + else + return false + end +end + function load_from_disk(State) local infile = App.open_for_reading(State.filename) State.lines = load_from_file(infile) -- cgit 1.4.1-2-gfad0