From 2d247f89c26267a18a4a86bce8643c854e362891 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Thibaut=20VAR=C3=88NE?= Date: Wed, 15 Nov 2023 13:45:18 +0100 Subject: [PATCH] scripts: remove unused expire.sh MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Thibaut VARĂˆNE --- scripts/expire.sh | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100755 scripts/expire.sh diff --git a/scripts/expire.sh b/scripts/expire.sh deleted file mode 100755 index e965f84..0000000 --- a/scripts/expire.sh +++ /dev/null @@ -1,27 +0,0 @@ -#!/bin/bash - -max_lifetime="$1" - -tree_birth="$(date --reference=tree.timestamp +%s 2>/dev/null)" -tree_age="$(( $(date +%s) - ${tree_birth:-0} ))" - -if [ $max_lifetime -le 0 ]; then - echo "No tree expiry set." - -elif [ $tree_age -ge $max_lifetime ]; then - echo "The build tree reached its maximum lifetime, cleaning up." - find . -mindepth 1 -maxdepth 1 -print0 | xargs -r -0 rm -vrf | while read entry; do - printf "." - done - - mkdir build - - echo "" - echo "Writing new timestamp" - date +%s > tree.timestamp - -else - echo "The build tree is not expired." -fi - -exit 0