From 6eaf0eaa565361d0a18f23cdcd8df894116ad73a Mon Sep 17 00:00:00 2001 From: Dag Date: Wed, 17 Jan 2024 20:10:32 +0100 Subject: [PATCH] fix: add cache clearing tools (#3896) Forgot to add these in #3867 --- .gitignore | 1 - bin/cache-clear | 14 ++++++++++++++ bin/cache-prune | 14 ++++++++++++++ 3 files changed, 28 insertions(+), 1 deletion(-) create mode 100755 bin/cache-clear create mode 100755 bin/cache-prune diff --git a/.gitignore b/.gitignore index 9725342d..6ed95489 100644 --- a/.gitignore +++ b/.gitignore @@ -6,7 +6,6 @@ data/ *.pydevproject .project .metadata -bin/ tmp/ *.tmp *.bak diff --git a/bin/cache-clear b/bin/cache-clear new file mode 100755 index 00000000..3563abad --- /dev/null +++ b/bin/cache-clear @@ -0,0 +1,14 @@ +#!/usr/bin/env php +clear(); diff --git a/bin/cache-prune b/bin/cache-prune new file mode 100755 index 00000000..7b7a6031 --- /dev/null +++ b/bin/cache-prune @@ -0,0 +1,14 @@ +#!/usr/bin/env php +prune();