bit
/
taskman_helpers
25
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Adding convenience gen_to_dir(..) helper
Publish PHP Package / docker (push) Successful in 6s Details

This commit is contained in:
Pavel Shevaev 2025-05-19 19:17:42 +03:00
parent 91b826365b
commit 863158ce35
1 changed files with 24 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
helpers.inc.php
View File

@ -275,6 +275,30 @@ function gen_file(string $tpl_file, string $result_file, $deps = array(), $force
}
}
function gen_to_dir(string $output_dir, array $rel_file2output)
{
$existing_files = scan_files_rec([$output_dir]);
$gen_files = [];
foreach($rel_file2output as $output_file => $output_text)
{
$gen_file = $output_dir.'/'.$output_file;
$gen_files[] = $gen_file;
ensure_write($gen_file, $output_text);
}
$obsolete_files = array_diff(
array_map(function($file) { return normalize_path($file, true); }, $existing_files),
array_map(function($file) { return normalize_path($file, true); }, $gen_files)
);
foreach($obsolete_files as $file)
ensure_rm($file);
//this is really important to change directory last modified time
touch($output_dir);
}
function ensure_read($file)
{
$c = file_get_contents($file);