From 37ee7e3d9d82894b7cb37cd2cd6dcc2e1622eac5 Mon Sep 17 00:00:00 2001
From: Phil Clifford <philip.clifford@gmail.com>
Date: Fri, 30 Aug 2024 00:35:52 +0100
Subject: [PATCH] fix: get latest released deb for micro

---
 01-main/packages/micro | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/01-main/packages/micro b/01-main/packages/micro
index 58340fb0..4889852a 100644
--- a/01-main/packages/micro
+++ b/01-main/packages/micro
@@ -1,7 +1,7 @@
 DEFVER=1
-get_github_releases "zyedidia/micro"  latest
+get_github_releases "zyedidia/micro"
 if [ "${ACTION}" != "prettylist" ]; then
-    URL=$(grep "browser_download_url.*${HOST_ARCH}\.deb\"" "${CACHE_FILE}" | grep -v nightly | head -n1 | cut -d'"' -f4)
+    URL=$(grep "browser_download_url.*${HOST_ARCH}\.deb\"" "${CACHE_FILE}" | grep -m 1 -v nightly | cut -d'"' -f4)
     VERSION_PUBLISHED="$(echo "${URL}" | cut -d'/' -f8 | tr -d v)"
 fi
 PRETTY_NAME="micro"