use bash extension for linux download+installer script
@@ -93,7 +93,7 @@ tar -cvzf dist/$VERSION_NAME.tar.gz -C build thonny
# create download + install script
-DOWNINSTALL_FILENAME=thonny-$VERSION.sh
+DOWNINSTALL_FILENAME=thonny-$VERSION.bash
DOWNINSTALL_TARGET=dist/$DOWNINSTALL_FILENAME
cp downinstall_template.sh $DOWNINSTALL_TARGET
