Philipp Hörist pushed to branch master at gajim / gajim
Commits: fc17e4b6 by Philipp Hörist at 2022-10-28T15:06:45+02:00 ci: Move pyright config into pyproject.toml
- - - - -
2 changed files:
- pyproject.toml - − pyrightconfig.json
Changes:
===================================== pyproject.toml ===================================== @@ -8,3 +8,142 @@ build-backend = "setuptools.build_meta" [tool.codespell] skip = "*__pycache__*,gajim/gui,gajim/data/icons,gajim/data/sounds,gajim/data/emoticons" ignore-words-list = "claus,pres,ser,trough" + + +[tool.pyright] +pythonVersion = "3.9" +pythonPlatform = "All" +typeCheckingMode = "strict" + +reportUnnecessaryTypeIgnoreComment = "error" +reportPropertyTypeMismatch = "error" +reportMissingModuleSource = "none" + +exclude = [ + "**/__pycache__", + ".git" +] +include = [ + "launch.py", + "setup.py", + ".ci/*", + "scripts/*", + "win/*", + "gajim/common/application.py", + "gajim/common/call_manager.py", + "gajim/common/cert_store.py", + "gajim/common/commands.py", + "gajim/common/configpaths.py", + "gajim/common/const.py", + "gajim/common/dbus/*", + "gajim/common/events.py", + "gajim/common/exceptions.py", + "gajim/common/filetransfer.py", + "gajim/common/ged.py", + "gajim/common/i18n.py", + "gajim/common/idle.py", + "gajim/common/logging_helpers.py", + "gajim/common/modules/chat_markers.py", + "gajim/common/modules/pep.py", + "gajim/common/modules/register.py", + "gajim/common/modules/vcard4.py", + "gajim/common/modules/vcard_temp.py", + "gajim/common/passwords.py", + "gajim/common/regex.py", + "gajim/common/setting_values.py", + "gajim/common/sound.py", + "gajim/common/storage/*", + "gajim/common/task_manager.py", + "gajim/gajim.py", + "gajim/gajim_remote.py", + "gajim/gtk/about.py", + "gajim/gtk/account_page.py", + "gajim/gtk/account_side_bar.py", + "gajim/gtk/accounts.py", + "gajim/gtk/app_page.py", + "gajim/gtk/app_side_bar.py", + "gajim/gtk/application.py", + "gajim/gtk/apply_button_box.py", + "gajim/gtk/avatar.py", + "gajim/gtk/avatar_selector.py", + "gajim/gtk/blocking.py", + "gajim/gtk/bookmarks.py", + "gajim/gtk/builder.py", + "gajim/gtk/call_window.py", + "gajim/gtk/certificate_dialog.py", + "gajim/gtk/change_password.py", + "gajim/gtk/chat_action_processor.py", + "gajim/gtk/chat_banner.py", + "gajim/gtk/chat_filter.py", + "gajim/gtk/chat_function_page.py", + "gajim/gtk/chat_list.py", + "gajim/gtk/chat_list_row.py", + "gajim/gtk/chat_list_stack.py", + "gajim/gtk/chat_page.py", + "gajim/gtk/chat_stack.py", + "gajim/gtk/const.py", + "gajim/gtk/contact_info.py", + "gajim/gtk/contact_settings.py", + "gajim/gtk/contacts_flowbox.py", + "gajim/gtk/control.py", + "gajim/gtk/conversation/*", + "gajim/gtk/dialogs.py", + "gajim/gtk/emoji_data_gtk.py", + "gajim/gtk/exception.py", + "gajim/gtk/features.py", + "gajim/gtk/file_transfer_send.py", + "gajim/gtk/groupchat_affiliation.py", + "gajim/gtk/groupchat_config.py", + "gajim/gtk/groupchat_creation.py", + "gajim/gtk/groupchat_details.py", + "gajim/gtk/groupchat_invitation.py", + "gajim/gtk/groupchat_inviter.py", + "gajim/gtk/groupchat_join.py", + "gajim/gtk/groupchat_nick.py", + "gajim/gtk/groupchat_nick_completion.py", + "gajim/gtk/groupchat_outcasts.py", + "gajim/gtk/groupchat_roster.py", + "gajim/gtk/groupchat_settings.py", + "gajim/gtk/groupchat_state.py", + "gajim/gtk/groupchat_voice_requests_button.py", + "gajim/gtk/gstreamer.py", + "gajim/gtk/history_export.py", + "gajim/gtk/history_sync.py", + "gajim/gtk/main.py", + "gajim/gtk/main_stack.py", + "gajim/gtk/mam_preferences.py", + "gajim/gtk/manage_sounds.py", + "gajim/gtk/menus.py", + "gajim/gtk/message_actions_box.py", + "gajim/gtk/message_input.py", + "gajim/gtk/notification.py", + "gajim/gtk/notification_manager.py", + "gajim/gtk/password_dialog.py", + "gajim/gtk/pep_config.py", + "gajim/gtk/plugins.py", + "gajim/gtk/preview.py", + "gajim/gtk/preview_audio.py", + "gajim/gtk/proxies.py", + "gajim/gtk/remove_account.py", + "gajim/gtk/resource_selector.py", + "gajim/gtk/roster.py", + "gajim/gtk/search_view.py", + "gajim/gtk/service_registration.py", + "gajim/gtk/sidebar_switcher.py", + "gajim/gtk/ssl_error_dialog.py", + "gajim/gtk/status_icon.py", + "gajim/gtk/status_message_selector.py", + "gajim/gtk/status_selector.py", + "gajim/gtk/structs.py", + "gajim/gtk/themes.py", + "gajim/gtk/tooltips.py", + "gajim/gtk/util.py", + "gajim/gtk/video_preview.py", + "gajim/gtk/workspace_dialog.py", + "gajim/gtk/workspace_side_bar.py", + "gajim/gtk/xml_console.py", + "gajim/plugins/gajimplugin.py", + "gajim/plugins/helpers.py", + "gajim/plugins/plugins_i18n.py", + "gajim/plugins/repository.py", +]
===================================== pyrightconfig.json deleted ===================================== @@ -1,136 +0,0 @@ -{ - "pythonPlatform": "All", - "pythonVersion": "3.9", - "typeCheckingMode": "strict", - "reportUnnecessaryTypeIgnoreComment": "error", - "reportPropertyTypeMismatch": "error", - "reportMissingModuleSource": "none", - "exclude": [ - "**/__pycache__", - ".git" - ], - "include": [ - "launch.py", - "setup.py", - ".ci/*", - "scripts/*", - "win/*", - "gajim/common/application.py", - "gajim/common/call_manager.py", - "gajim/common/cert_store.py", - "gajim/common/commands.py", - "gajim/common/configpaths.py", - "gajim/common/const.py", - "gajim/common/dbus/*", - "gajim/common/events.py", - "gajim/common/exceptions.py", - "gajim/common/filetransfer.py", - "gajim/common/ged.py", - "gajim/common/i18n.py", - "gajim/common/idle.py", - "gajim/common/logging_helpers.py", - "gajim/common/modules/chat_markers.py", - "gajim/common/modules/pep.py", - "gajim/common/modules/register.py", - "gajim/common/modules/vcard4.py", - "gajim/common/modules/vcard_temp.py", - "gajim/common/passwords.py", - "gajim/common/regex.py", - "gajim/common/setting_values.py", - "gajim/common/sound.py", - "gajim/common/storage/*", - "gajim/common/task_manager.py", - "gajim/gajim.py", - "gajim/gajim_remote.py", - "gajim/gtk/about.py", - "gajim/gtk/account_page.py", - "gajim/gtk/account_side_bar.py", - "gajim/gtk/accounts.py", - "gajim/gtk/app_page.py", - "gajim/gtk/app_side_bar.py", - "gajim/gtk/application.py", - "gajim/gtk/apply_button_box.py", - "gajim/gtk/avatar.py", - "gajim/gtk/avatar_selector.py", - "gajim/gtk/blocking.py", - "gajim/gtk/bookmarks.py", - "gajim/gtk/builder.py", - "gajim/gtk/call_window.py", - "gajim/gtk/certificate_dialog.py", - "gajim/gtk/change_password.py", - "gajim/gtk/chat_action_processor.py", - "gajim/gtk/chat_banner.py", - "gajim/gtk/chat_filter.py", - "gajim/gtk/chat_function_page.py", - "gajim/gtk/chat_list.py", - "gajim/gtk/chat_list_row.py", - "gajim/gtk/chat_list_stack.py", - "gajim/gtk/chat_page.py", - "gajim/gtk/chat_stack.py", - "gajim/gtk/const.py", - "gajim/gtk/contact_info.py", - "gajim/gtk/contact_settings.py", - "gajim/gtk/contacts_flowbox.py", - "gajim/gtk/control.py", - "gajim/gtk/conversation/*", - "gajim/gtk/dialogs.py", - "gajim/gtk/emoji_data_gtk.py", - "gajim/gtk/exception.py", - "gajim/gtk/features.py", - "gajim/gtk/file_transfer_send.py", - "gajim/gtk/groupchat_affiliation.py", - "gajim/gtk/groupchat_config.py", - "gajim/gtk/groupchat_creation.py", - "gajim/gtk/groupchat_details.py", - "gajim/gtk/groupchat_invitation.py", - "gajim/gtk/groupchat_inviter.py", - "gajim/gtk/groupchat_join.py", - "gajim/gtk/groupchat_nick.py", - "gajim/gtk/groupchat_nick_completion.py", - "gajim/gtk/groupchat_outcasts.py", - "gajim/gtk/groupchat_roster.py", - "gajim/gtk/groupchat_settings.py", - "gajim/gtk/groupchat_state.py", - "gajim/gtk/groupchat_voice_requests_button.py", - "gajim/gtk/gstreamer.py", - "gajim/gtk/history_export.py", - "gajim/gtk/history_sync.py", - "gajim/gtk/main.py", - "gajim/gtk/main_stack.py", - "gajim/gtk/mam_preferences.py", - "gajim/gtk/manage_sounds.py", - "gajim/gtk/menus.py", - "gajim/gtk/message_actions_box.py", - "gajim/gtk/message_input.py", - "gajim/gtk/notification.py", - "gajim/gtk/notification_manager.py", - "gajim/gtk/password_dialog.py", - "gajim/gtk/pep_config.py", - "gajim/gtk/plugins.py", - "gajim/gtk/preview.py", - "gajim/gtk/preview_audio.py", - "gajim/gtk/proxies.py", - "gajim/gtk/remove_account.py", - "gajim/gtk/resource_selector.py", - "gajim/gtk/roster.py", - "gajim/gtk/search_view.py", - "gajim/gtk/service_registration.py", - "gajim/gtk/sidebar_switcher.py", - "gajim/gtk/ssl_error_dialog.py", - "gajim/gtk/status_icon.py", - "gajim/gtk/status_message_selector.py", - "gajim/gtk/status_selector.py", - "gajim/gtk/structs.py", - "gajim/gtk/themes.py", - "gajim/gtk/tooltips.py", - "gajim/gtk/util.py", - "gajim/gtk/video_preview.py", - "gajim/gtk/workspace_dialog.py", - "gajim/gtk/workspace_side_bar.py", - "gajim/gtk/xml_console.py", - "gajim/plugins/gajimplugin.py", - "gajim/plugins/helpers.py", - "gajim/plugins/plugins_i18n.py", - "gajim/plugins/repository.py" - ], -}
View it on GitLab: https://dev.gajim.org/gajim/gajim/-/commit/fc17e4b692ba3ec2d5d6f097b344421ee...
-
Philipp Hörist (＠lovetox)