uy_sun 发布的文章

学校给我配了一个电脑,这台电脑就成了我熟悉各种计算科学软件的平台。有时候想持续关注一下电脑的状态,就想到了 SSH,但是电脑是在内网的,没法直接用IP连接。又是去网上搜索了一番,找到了连接内网服务器的方法。

- 阅读剩余部分 -

自从上个版本的 Windows 10(1709) 更新开始,Linux 子系统脱离了测试,正式成为了一个稳定的可选功能,我就尝试着使用了一下这个东西。

真是太方便了,各种常用的编译器都能使用(我还在电脑上编译了 VASP),还有各种 Linux 上的软件,比如我用来同步服务器上备份文件的 rsync 都能很稳定的运行。

不过今天早晨重启电脑之后,打开安装在电脑里的 Ubuntu 18.04 时,突然报错

Installing, this may take a few minutes...
WslRegisterDistribution failed blabla

- 阅读剩余部分 -

直到现在,我写的全是关于网站的文章,在文章中有很多代码,不过因为我现在用的编辑器,并没有自带代码高亮,所以这些代码都是默认的样式,没有各种高亮,看起来并不好看和清晰。

所以我想去找找代码高亮的插件,搜索了一下,找到了一个利用 highlight.js插件

测试了一下效果,很满意。顺便去修改了一下前面文章的代码格式,这样就美观多了。

不过现在网站里使用的 highlight.js 脚本中并没有放入所有它支持的代码格式。只是选择了几种常用的,如果后面需要支持另外的代码格式,就更换新的 脚本


从这篇文章 更新 EditorMD 起,我直接将 highlight.js 集成到了编辑器中,不再使用之前的那个插件。如果需要更新代码高亮,需要将新生成的 highlight.pack.js 文件,放入 EditorMD/lib 文件夹中。


升级 1.2.0 并使用官方镜像后,放弃了 EditorMD,转而使用默认的编辑器,配合 highlightjs 插件


记录一下当前支持的代码格式。

  • 常用的 36 种
  • Arduino
  • DOS .bat
  • Dart
  • Dockerfile
  • Fortran
  • Julia/Julia REPL
  • LaTeX
  • PowerShell
2020/11/23 更新
10.4.0 版,常用 24 种变成了 37 种,Go,SCSS,YAML 成为了常用。然后我新添加了 Powershell。
2022/1/3
11.3.1 版,常用变成了 34 种。
2022/10/12
11.6.0 版,常用变成了 36 种。

突然发现,可以通过 IP 访问到网站,记得曾经在哪里看到这样并不好。所以去查了一下资料。

原来能通过IP访问会有域名恶意解析的风险。(具体有什么危害我后面再来补充吧)

解决方法,可以在 nginx 中添加设置,让所有无法匹配的访问转跳到网站本来应该的域名上。

server
{
  listen 80 default_server;
  rewrite ^(.*) https://hehome.xyz permanent;
}
server
{
  listen 443 ssl default_server;
  rewrite ^(.*) https://hehome.xyz permanent;
}

经常的,我们会在发布文章之后去修改它,但是 Typecho 默认显示发布时间,而且我也不愿意在每次修改之后修改自己的发布时间,这样反而不好,所以就需要增加一个最后编辑时间。

- 阅读剩余部分 -

Typecho 的默认后台地址是 admin,为了增加安全性,我们准备将后台地址换成一个只有自己知道的名字。

更改方法只有两步,假设接下来要把后台地址改为 1551:

  1. 修改 config.inc.php,将 define('__TYPECHO_ADMIN_DIR__', '/admin/'); 修改为 define('__TYPECHO_ADMIN_DIR__', '/1551/');
  2. 重命名 admin 文件夹为 1551

到此,后台地址修改完成。但是,如果是默认主题的在侧面还会出现登陆按钮,指向的就是我们刚才修改的地址,那我们之前的做的就全白费了。

所以我们需要到外观里去修改默认主题的 sidebar.php,删除 <ul class="widget-list"> 后面的登陆相关的按钮,这样我们的网站后台网址就完全隐身了。

这样大概就可以使得我们的网站更加的安全。(不过应该也没人会来攻击我们吧ˊ_>ˋ)

网站建立好后就会很好奇,有没有什么人会误入此地,最开始找到了一个插件 Typecho Access,但是它使用的网站的数据库来存放数据,一旦时间长了,会产生很多的数据,加重服务器负担。

所以我就去网上搜索了一番,知道了两个知名的搜索引擎公司都提供有这样的服务:

配置很简单,只需要登陆注册,填写你的网站相关信息之后,它们会给你一个代码,你只需要把这个代码放到 header.php 中的 </head> 前,就可以使用它们提供的网站数据统计服务。