首页 文章 精选 留言 我的

精选列表

搜索[工具模块],共10000篇文章
优秀的个人博客,低调大师

Mypy 0.740 发布,Python 静态类型检查工具

Mypy 0.740已经发布了,此版本包括许多特性、错误修复和 library stub更新。Mypy 是处于实验性阶段的Python 静态类型检查器,旨在结合动态类型和静态类型的优点,将 Python 的表现力和便利性与强大的类型系统和编译时(compile-time)类型检查相结合,提供编译时的类型检查和高效地编译为原生代码,无需使用重量级和耗费 runtime 开销的 Python 虚拟机。更新内容如下: str.format调用的类型检查 在此版本中,对字符串文本的 format 方法的调用将根据格式字符串语法的规则(format string syntax)和格式规范 mini 语言进行类型检查。同时修复了 % 格式的部分错误问题,并允许字节和字符串之间的错误交互。下面是 Mypy 现在可以捕捉到的一些错误: 无效的格式字符串语法 无效的转换类型或说明符 不正确的参数或字段名 数字格式的类型不匹配 索引或属性表达式中的类型错误 改进 check_untyped_defs 此版本中,在使用 check_untyped_defs 时,能够正确地给出对象的类型,对非类型化方法进行更好的检查。此外,禁止在非类型化函数中分配空集合(即data=[ ] )造成的大多数“needs type annotation”错误。 严格处理上下文管理器对象 Mypy 0.730 增加了对使用从 __exit__ 返回类型中使用文字类型的支持,以确定 with 语句是否有可能隐藏异常,这可能影响 Mypy 在 with 语句之后是否认为代码是可访问的。为了更好地定位由此引起的问题的来源,当声明的__exit__ 方法返回布尔但始终返回 false 时,Mypy 会报出错误。 其他的改进和 bug 修复 为 pathlib.Path.open提供更好的类型 将 __class_getitem__ 作为一个隐式类方法,类似于 __init_subclass__ att.s 支持eq 和 order 参数 修复Mypy 守护进程中的崩溃 修复与__getattr__和 __call__ 相关的崩溃 修复增量模式崩溃 除了上述的更新内容,还其他内容,详情请查看发布主页。

优秀的个人博客,低调大师

Zotero 5.0.75 发布,文献管理工具

Zotero 是一个免费易用的 Firefox 扩展与客户端软件,可以协助我们收集、管理及引用研究资源,包括期刊、书籍等各类文献和网页、图片等。5.0.75版本内容有: 添加或更改功能 添加视图菜单:包括以前首选项中的用户界面选项、各种窗口的切换以及一个新的“Display Items from Subcollections””选项 添加“Convert Linked Files to Stored Files”菜单选项 [Mac]MacOS Catalina 中非 Retina 显示上小文本可读性的改进 修复bug 修复了当彩色标签包含前导/尾端空格时标签选择器损坏的问题 修复只读库中的标签选择 修复冲突解决过程中可能出现的“getNote() can only be called on notes and attachments”错误 修复潜在的“attachmentSyncedModificationTime must be a number”同步错误 发布说明: https://www.zotero.org/support/changelog

优秀的个人博客,低调大师

自动化集成工具-jenkins简单安装

一、jenkins 安装需要使用jdk_1.8及以上的版本,不然可能会安装失败。java 默认使用的最新的版本jdk集成。 [root@localhost ~]# yum install -y java 二、安装需要的jenkins 的repo源,自带的yum可能没有。 [root@localhost ~]# wget -O /etc/yum.repos.d/jenkins.repo http://jenkins-ci.org/redhat/jenkins.repo 要以不安全的方式连接至 jenkins.io,使用“--no-check-certificate”。 报错,根据提示添加即可 [root@localhost ~]# wget -O /etc/yum.repos.d/jenkins.repo http://jenkins-ci.org/redhat/jenkins.repo --no-check-certificate 安装jenkins-ci.org.key [root@localhost ~]# rpm --import http://pkg.jenkins-ci.org/redhat/jenkins-ci.org.key 安装成功,启动jenkins服务,默认启动是8080端口,建议开机自启动。本机可能防火墙,可以设置过滤,没有使用,尽量关闭。 [root@localhost ~]# systemctl start jenkins [root@localhost ~]# systemctl stop firewalld.service [root@localhost ~]# systemctl start jenkins [root@localhost ~]# systemctl start jenkinsystemctl stop firewalld.service^C [root@localhost ~]# systemctl stop firewalld.service [root@localhost ~]# systemctl disable firewalld.service Removed symlink /etc/systemd/system/multi-user.target.wants/firewalld.service. Removed symlink /etc/systemd/system/dbus-org.fedoraproject.FirewallD1.service. http://192.168.70.4:8080 ![image](https://yqfile.alicdn.com/bbbe1abba26869aea80c513ae4cf57b5bef2e5df.png) [root@localhost ~]# cat /var/lib/jenkins/secrets/initialAdminPassword e58fe8f6eb7741558fe24dd03acb0bbf 选择左侧安装默认的插件 [root@localhost ~]# 设置密码和邮箱安装完成

资源下载

更多资源
腾讯云软件源

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题,腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构,目前腾讯云软件源站支持公网访问和内网访问。

Spring

Spring

Spring框架(Spring Framework)是由Rod Johnson于2002年提出的开源Java企业级应用框架,旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念,提供核心容器、应用上下文、数据访问集成等模块,支持整合Hibernate、Struts等第三方框架,其适用范围不仅限于服务器端开发,绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux

Rocky Linux(中文名:洛基)是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版,作为CentOS稳定版停止维护后与RHEL(Red Hat Enterprise Linux)完全兼容的开源替代方案,由社区拥有并管理,支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性,采用模块化包装和SELinux安全架构,默认包含GNOME桌面环境及XFS文件系统,支持十年生命周期更新。

Sublime Text

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能,例如代码缩略图,Python的插件,代码段等。还可自定义键绑定,菜单和工具栏。Sublime Text 的主要功能包括:拼写检查,书签,完整的 Python API , Goto 功能,即时项目切换,多选择,多窗口等等。Sublime Text 是一个跨平台的编辑器,同时支持Windows、Linux、Mac OS X等操作系统。

用户登录
用户注册