File.GetSize

(строка) Полный путь к файлу.

(число) Размер данного файла в байтах. Если действие не выполняется, возвращается -1. Можно использовать Application.GetLastError для определения случился ли отказ в работе этого действия и почему.

При добавлении действия из редактора скрипта, можно использовать это поле для определения переменной, которая возвращает значение, сохраняющееся в ней.

file_size = File.GetSize(_TempFolder .. "\\setup.exe");

Получаем размер (в байтах) файла "setup.exe", размещенного в папке пользователя Temp и сохраняем его в переменной "file_size".

-- Searches for a specific file on the user's system.
-- Поиск указанного файла в системе пользователя.
location = File.Find("C:\\", "target.txt", false, false, nil);

if (location ~= nil) then
    -- Check the size of the first file that was found.
    -- Проверяем размер первого найденного файла.
    file_size = File.GetSize(location[1]);

    if (file_size ~= -1) then
       -- See if the file is 25 bytes. Display a valid or invalid file message to the user.
       -- Смотрим, есть ли в файле 25 байт. Показываем пользователю сообщение о правильном или неправильном файле.
       if (file_size == 25) then
           Dialog.Message("Success", "The file on your system has been validated.");
       else
           Dialog.Message("Failure", "The file on your system is not valid.");
       end
   else
       Dialog.Message("Failure", "The file on your system could not be validated.");
   end
else
   -- Display a message that the target file was not found.
   -- Показываем сообщение, что целевой файл не найден.
   Dialog.Message("Notice", "The file 'target.txt' was not found.");
end

Поиск файла по имени "target.txt" в корневой папке диска C:\. Если файл найден, считывается его размер и сравнивается со значением в 25 байт. На основе результатов проверки, показываем соответствующее диалоговое сообщение.