分类: 未分类

GitHub Actions环境变量

2020年4月29日

GitHub Actions有多种环境变量:workflow环境的变量、job环境的变量、step环境的变量,以及每台电脑都有的操作系统的环境变量、shell环境变量。在GitHub Actions文档中,workflow环境的变量、job环境的变量、step环境的变量的英文为env,我将其不正规地 […]

对python/django进行无头测试

2020年4月28日

PhantomJS HtmlUnit据说是运行最快的,体积最小的,但是它只支持Java。 https://cloud.tencent.com/developer/article/1567944 整页截图 整页截图相当于对网页根元素——html截图,所以用元素截图。 import selenium.w […]

看懂Git合并冲突的三个面板

2020年4月27日

cherry-pick、merge 左侧面板(HEAD)是当前工作区。 中间面板是右侧面板的前一个提交。 右侧面板是正在添加/合并/摘取的提交。如图显示的a5702a0f是正在摘取的提交的SHA。Git正在把右侧面板的内容添加到左侧面板。 如图,若摘取a5702a0f,若发生冲突,则a5702a0f […]

文明帝国6 mod笔记

2020年4月15日

修改生效 文明6运行时,如果用Mod Buddy修改项目属性,可能编译出错,表示“无法删除目录”。必须退出游戏再编译。 游戏引擎会在运行时监控自身源文件(C:\Program Files (x86)\Steam\steamapps\common\Sid Meier’s Civilizat […]

文明帝国6笔记

2020年4月10日

人口 所需宜居度 可造区域 {{p}} {{ Math.ceil((p-2)/2) }} {{ Math.ceil(p/3-1) }} 加10人口 人口偶数后,宜居度加1。 经济卡精英政治:作用于已建成的区域,放置的区域不算。 溢出 劫掠溢出:劫掠溢出会清零。[1][1] 参考资料↑↑

MySQL 8开启root远程登录步骤详解

2020年4月3日

本文阅读时间10分钟。你会详细了解MySQL 8开启root远程登录的步骤。如果你没空,建议你看其他资料,乱枪打鸟地去试。 MySQL 8与MySQL 5的登录方式有所不同。版本8允许auth socket,在linux本地登录不需要密码。 首先登录mysql。sudo mysql使用本地身份直接登 […]

中美戴尔买电脑差异

2020年3月24日

美国戴尔在线聊天,回复很快,消息提示明确,客服有没有在打字,很清楚。聊天结束后会把聊天记录发送到邮箱。如果要求进行特殊配置,客服会发一个带有customization id的链接给我,如https://www.dell.com/en-us/shop/deals/xps-desktop/spd/xps […]

主体类型与主体定型 principle type and principle typing

2020年3月3日

在类型理论, 类型系统有主体类型t,当且仅当对于任意的类型环境A和表达式e,A |- e :u,都可以从t推导到u。 例如λ演算λx.x,其主体类型t=α -> α,α为类型变量,类似Java或C#的泛型类型变量。若有A|-λx.x: int -> int,令α=int,则可以从主体类型t具体化为i […]

JavaScript async Promise应用篇

2020年3月1日

本文教读者实际编写一个async函数。 承接JavaScript async/await入门,JavaScript async函数必须直接返回Promise对象。显然,函数体必须有类似return new Promise(..)的语句。 p1 = function () { return new P […]

必须禁止Chrome自动更新

2019年11月1日

最近Chrome自动升级到版本78,更新很87(白痴),把标签页右键菜单的“关闭其他标签页”取消了。我频繁使用这个功能,一下子打乱了我的生活节奏。虽然有些扩展程序可以把这个功能带回来,但我又要多装一个扩展程序,非常麻烦! 前段时间Chrome也是自动升级到77版本,新标签页底部有广告(New Tab […]