将多个仓库组成的GitHub站点部署到Vercel并绑定独立域名 Posted on 2021-02-17 03:00:00 In Web Building , Github 鄙人这个站点主页是一个仓库,而博客又是一个仓库。但是直接使用GitHub访问速度很慢,即使是电信网有时候也得半分钟以上,移动联通就更难说了。如果能使用Vercel作为镜像来访问就能快不少,但是Vercel目前还没有发展到能把多个仓库部署到同一个项目的不同目录下,所以这里又要劳驾GitHub Actions了。 Read more »
Hexo Gitee Pages 自动部署站点 Posted on 2021-02-09 00:00:00 In Web Building , Automation , Github 经过查阅Hexo文档发现,Hexo默认会忽略隐藏文件和文件夹(包括名称以下划线和 .开头的文件和文件夹,Hexo的_posts和_data等目录除外)。因此需要在后台仓库的_config.yml文件添加这样的配置才能把.github的目录也给带进来。可能已经预留了include属性,建议先搜索这个属性,然后直接往这里面添加。 Read more »
Github 添加一个实时显示StackOverflow分数Reputation的徽章 Posted on 2021-02-04 16:30:00 In Github 我們采用XPath强行解析StackOverflow用户主页的HTML节点来获取用户的Reputation数字。 Read more »
证明0.999...=1 《高等数学》复旦版黄立宏第四版 Posted on 2021-01-29 11:30:00 In Mathematics 证明0.999...=1 《高等数学》复旦版黄立宏第四版 Read more »
Github 个人Profile 自动实时获取最新博客博文日志并生成链接 Posted on 2021-01-23 11:30:00 In Automation , Github 很多文章详细阐述了个性化个人Profile说明的方法,却鲜有提到如何实时更新最新博客博文并生成链接的方法。其实不需要本地配置任何东西,只需要在仓库加上特定的文件,Github就会自动读取这个文件并转换成相应的动作(Action)。 Read more »
AX版Flash 1月12日之后继续使用Flash的方法 Posted on 2021-01-15 15:30:00 In Moving Away from Flash 稍微简化了一下,整了一个BAT加Node.js的脚本。需要把BAT、demo32.js、demo64.js、和node.exe(Node.js的可执行文件)放进同一目录。然后右键BAT文件以管理员身份运行。 Read more »
Github 个人Profile Readme 常用语言卡片 控制比例 Posted on 2021-01-13 18:00:00 In Github 和之前的控制仓库语言的原理是一样的,这个功能也是通过统计代码量来统计常用语言的占比。所以我們仍然需要使用各个仓库的.gitattributes文件的linguist-language=XXX以及linguist-vendored(后者特别注意)。 Read more »
Edge、Chrome 1月12日之后继续使用Flash的方法(超级专业,高能预警) Posted on 2021-01-13 02:00:00 In Moving Away from Flash 先别管那么多,根据计算机常识,数据通常是小端存储,二进制的最高位通常是符号位。我们就把这一串的最后那个字节42想个什么办法改大一点,但是也不要超过80,不然可能就变成负数了。所以我们就暂且先把他改成72。保存之,替换到Edge的原来文件。再打开一个Flash的网页,可以加载Flash了! Read more »
百分浏览器继续使用Flash Player的临时解决方案! Posted on 2021-01-12 09:45:00 In Moving Away from Flash 百分浏览器会自动下载版本32的Flash Player放进浏览器的安装目录,这样的话即使是手动替换了Flash Player组件文件也会被新版的Flash Player覆盖掉,而新版Flash Player今天已经自毁了,无法使用! 所以我们得想办法阻止覆盖! Read more »
手把手教学:使用油猴脚本对CCTV央视网启用HTML5播放器 Posted on 2021-01-11 09:30:00 In Moving Away from Flash Flash Player明天就会阻止加载Flash内容。但是CCTV也仅仅是把新出的视频启用了H5播放器,之前的视频仍然需要Flash插件才能播放。很多人说装一个油猴脚本,可是问题是,不是所有人都玩得转这个油猴脚本的。这里提供一个比较详细的说明来阐释安装过程。 Read more »