From f9309bae01f9ebce267b9a393ecb029eeab7fec4 Mon Sep 17 00:00:00 2001 From: Kwaku Biney <71296367+kwakubiney@users.noreply.github.com> Date: Fri, 26 Dec 2025 04:54:39 +0000 Subject: [PATCH] improv: prompt user when Docker daemon not running (#155) Signed-off-by: kwakubiney --- lib/clean/dev.sh | 18 +++++++++++++++++- 1 file changed, 17 insertions(+), 1 deletion(-) diff --git a/lib/clean/dev.sh b/lib/clean/dev.sh index 88577a9..da79341 100644 --- a/lib/clean/dev.sh +++ b/lib/clean/dev.sh @@ -108,8 +108,24 @@ clean_dev_docker() { if run_with_timeout 3 docker info > /dev/null 2>&1; then clean_tool_cache "Docker build cache" docker builder prune -af else + if [[ -t 0 ]]; then + echo -ne " ${YELLOW}${ICON_WARNING}${NC} Docker not running. ${GRAY}Enter${NC} retry / ${GRAY}any key${NC} skip: " + local key + IFS= read -r -s -n1 key || key="" + printf "\r\033[2K" + if [[ -z "$key" || "$key" == $'\n' || "$key" == $'\r' ]]; then + if run_with_timeout 3 docker info > /dev/null 2>&1; then + clean_tool_cache "Docker build cache" docker builder prune -af + else + echo -e " ${GRAY}${ICON_SUCCESS}${NC} Docker build cache (still not running)" + fi + else + echo -e " ${GRAY}${ICON_SUCCESS}${NC} Docker build cache (skipped)" + fi + else + echo -e " ${GRAY}${ICON_SUCCESS}${NC} Docker build cache (daemon not running)" + fi note_activity - echo -e " ${GRAY}${ICON_SUCCESS}${NC} Docker build cache (daemon not running)" fi else note_activity