Thunderbird has changed extensions.ini -> extensions.json.

6c9cd212 · Sandro Knauß · 2adb34b3 · 6c9cd212
Commit 6c9cd212 authored Jan 14, 2019 by Sandro Knauß
--- a/config/chroot_local-includes/usr/local/bin/thunderbird
+++ b/config/chroot_local-includes/usr/local/bin/thunderbird
@@ -95,7 +95,7 @@ reconfigure_profile() {
 }

 thunderbird_profile_is_new() {
-   [ ! -f "${PROFILE}/extensions.ini" ]
+   [ ! -f "${PROFILE}/extensions.json" ]
 }

 initialize_enigmail_configured_version() {