style: Add more info about which extension is installed in logs

2024-04-09 09:05:42 +02:00 · 2024-04-09 09:05:42 +02:00 · c2ffe9c20e
commit c2ffe9c20e
parent ae1a7b53bf
1 changed files with 1 additions and 0 deletions
--- a/modules/gnome-extensions/gnome-extensions.sh
+++ b/modules/gnome-extensions/gnome-extensions.sh
@ -63,6 +63,7 @@ if [[ ${#GETTEXT_DOMAIN[@]} -gt 0 ]]; then
      # Delete the temporary directory
      echo "Cleaning up the temporary directory"
      rm -r "${TMP_DIR}"
+      echo "Extension ${EXTENSION_NAME} is successfully installed"
      echo "------------------------------DONE----------------------------------"     
  done
 else