You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I don't get that error message on running ./gencontent.sh on my machine (Ubuntu 18.04.02). Line 305 of gencontent.sh just shows a fi. Maybe this issue is outdated and can be closed?
That is, ${header_added[${plugin}]} seems to be empty in @dmaphy's case, for whatever reasons.
If I understand the code correctly, $header_added is filled from $RELEASE_PLUGIN_LIST but the access to $header_added happens from the list in $CONTENTDIR}${tag}.
I guess one needs to debug the contents of these lists and to determine whether the above can happen again or not.
The list in $RELEASE_PLUGIN_LIST is empty in case $SOURCESDIR (set to ${HOME}"/.tmp/geany-plugins/" at the beginning of the script) exists but is an empty directory.
If it is not empty and includes a geany-plugins repository, then everything is fine. If it does not exist then it's created and the geany-plugins repository is cloned into it and then also everything works fine.
@dmaphy would need to tell if that was maybe what happened in his case.
If yes, the issue could be rated as an installation problem or unexpected environment and could therefore be closed as invalid. Or the check of $SOURCESDIR would need to be improved to check if it really includes a geany-plugins repository. But is it worth the hassle?
This happens when manually running gencontent.sh:
The text was updated successfully, but these errors were encountered: