diff options
| author | Zweihorn <4863737+Zweihorn@users.noreply.github.com> | 2024-04-01 10:38:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-01 10:38:04 +0200 |
| commit | 3d8dbb19b9ef9d8d24140fe79706d7ec734aaa9d (patch) | |
| tree | 445d7dd5e0419533069b7f5d1000f3e4f091361e /lib/scripts/tree.js | |
| parent | 4c1ed9da814741b3dfa44d8b656e85cbd71ec064 (diff) | |
| download | dokuwiki-3d8dbb19b9ef9d8d24140fe79706d7ec734aaa9d.tar.gz dokuwiki-3d8dbb19b9ef9d8d24140fe79706d7ec734aaa9d.zip | |
Update deletedFiles.yml with improved workflow
major improvements are:
- cleans this file from any re-introduced file
- adds deleted files to the top of the list
- takes extra care of full path names (i.e. "^$E$" and "^$F$") to avoid cluttering grep with e.g., .txt and .txt_bak files
- uses data/deleted.files.tmp as lock file to produce a single trailing line only after adding any deleted files (thus the "cp" in the first "awk") and removes it (the "mv" in second "awk")
Diffstat (limited to 'lib/scripts/tree.js')
0 files changed, 0 insertions, 0 deletions