diff options
| author | w-e-w <40751091+w-e-w@users.noreply.github.com> | 2023-12-28 06:22:51 +0900 |
|---|---|---|
| committer | w-e-w <40751091+w-e-w@users.noreply.github.com> | 2023-12-28 06:22:51 +0900 |
| commit | de04573438bc111f137359b8f4998780bf315275 (patch) | |
| tree | 22711971699388d107adb7bafcda319fe445a7de /webui.sh | |
| parent | de03882d6ca56bc81058f5120f028678a6a54aaa (diff) | |
create utility truncate_path
utli.truncate_path(target_path, base_path)
return the target_path relative to base_path if target_path is a sub path of base_path else return the absolute path
Diffstat (limited to 'webui.sh')
0 files changed, 0 insertions, 0 deletions