]> git.plutz.net Git - shellwiki/commit
serchindex script for pruning and indexing
authorPaul Hänsch <paul@plutz.net>
Sat, 23 Sep 2023 21:29:25 +0000 (23:29 +0200)
committerPaul Hänsch <paul@plutz.net>
Sat, 23 Sep 2023 21:29:25 +0000 (23:29 +0200)
commitc549e1de0245f399b219be8a2bdf1ee7d6152951
tree5a558049c21c9a5d54109d40a6d31f79a3873ab2
parent77277d37a63dd39f767cc7bbf5934a8381a0dd3c
serchindex script for pruning and indexing
maintenance.sh [deleted file]
searchindex.sh [new file with mode: 0755]