一些工具的使用备忘录

发表于 更新于 分类于 阅读次数： 本文字数： 674 阅读时长 ≈ 2 分钟

wsl

更新wsl后，发现ps定位不到wsl，cmd却可以，查到这个网址
wsl未被识别为内部或外部命令

Common problem when trying to access 64-bit tools from 32-bit processes. wsl.exe is in System32. But if your script happens to run as a 32-bit process, then all accesses to System32 are redirected to SysWOW64. In order to access wsl.exe in the "real" System32 folder, you'll have to use Sysnative instead, like in C:\Windows\Sysnative\wsl.exe.
尝试从 32 位进程访问 64 位工具时的常见问题。 wsl.exe是在 System32。 但是如果你的脚本碰巧作为 32 位进程运行，那么所有访问 System32被重定向到 SysWOW64。 为了访问 wsl.exe使用真正的 System32文件夹，你必须使用 Sysnative，就像 C:\Windows\Sysnative\wsl.exe

也就是环境变量加一条，C:\Windows\Sysnative

$ENV:PATH="$ENV:PATH;c:\Windows\System32"

mysql

为了javaweb装mysql,发现一个经典问题，安装卡在start server这一步上，查了一下stf,似乎是默认会把mysql注册成网络服务而不是本地，上面说改成本地服务再重启就行了，但我亲测无效
彻底删除注册表和所有目录重装也无效
于是我直接放弃了安装时注册成windows服务，打算之后再自己注册，这个倒是不难，用bin目录的mysqld就行了
之后又发现不知道为什么输入注册时的密码错误，于是我重置了一下密码，这方面教程很多，比如这篇

关于mysql提供的employees测试数据库
官方的安装指南是mysql < employees.sql命令，但我发现powershell里没有<运算符，于是看了一下时间，接近十年前了，所以得用cmd运行

hexo

写笔记时发现，有些latex公式块会被hexo的md渲染器禁止使用line number probably different from source，这时候似乎就只能禁用渲染，在文件头加上disableNunjucks: true
这样一来的问题是，标签功能就无法使用了
也可以用这样的标签括起来,但会麻烦一点

1
2
3
4
5
6
7
{% raw %}

$$
V={A_{\mathrm{s}}}{B_{\mathrm{s}}}{\overline{{S_{\mathrm{s}}}}}+\overline{{A_{\mathrm{s}}B_{\mathrm{s}}}}S_{\mathrm{s}}
$$  

{% endraw %}

gitbub

有时，防火墙完全拒绝允许 SSH 连接。 也就是用22端口连接github被拒绝，特点是此时用ssh -T -p 443 git@ssh.github.com连接成功，但默认端口无法连接
如果能够通过 SSH 进入 git@ssh.github.com通过端口 443，可以覆盖 SSH 设置，以强制与 GitHub.com 的任何连接通过该服务器和端口运行。

要在 SSH 配置文件中进行设置，编辑该文件： ~/.ssh/config，并添加此部分：

1
2
3
4
Host github.com
    Hostname ssh.github.com
    Port 443
    User git

这样一来就可以用https和github连接