diff options
Diffstat (limited to 'subr/ex_rtl_state.subr')
| -rw-r--r-- | subr/ex_rtl_state.subr | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/subr/ex_rtl_state.subr b/subr/ex_rtl_state.subr index fe52b29a..70e72a06 100644 --- a/subr/ex_rtl_state.subr +++ b/subr/ex_rtl_state.subr @@ -2,6 +2,14 @@ # set -o noglob is assumed. # +ex_rtl_state_clear() { + local _workdir="${1}" _pkg_name="${2}" _pkg_fname=""; + for _pkg_fname in $(find "${_workdir}" \ + -maxdepth 1 -mindepth 1 -name .${_pkg_name}.\* -type f); do + ex_rtl_fileop rm "${_pkg_fname}"; + done; +}; + ex_rtl_state_set() { local _workdir="${1}" _pkg_fname="${2}" _done_fname_pfx=""; _done_fname_pfx="${_workdir}/.${_pkg_fname}"; |