起因
新电脑坏了，暂时用旧电脑。上面的 wolfram engine 是 12.1。然后我需要离线文档，就去下了一份
*.sh ，运行后得到了一个 folder, 但是镜像站只有 > 13.x 的。然后天天弹窗说版本旧。
查到了这个
解决
思路1：从 wolfram player 入手
但是我这是 wolfram player 的弹窗。 $FrontEnd 对象也不存在。
思路2：直接修改本地文件。
先
grep 13\.1 随便一个文件。发现一共 2 处。考虑到注释不算，所以只需要解决掉 13.1 for ，全部替换成 12.1 for find 挺慢的，跑了 3m
于是解决了。
思路就是干掉判定。很有逆向的风格。
小插曲
因为要看 nb 的 text 内容，我就打算 find + bat, 然后发现 bat 没有 mma 的高亮。
然后打算 PR 一个。
开了 issue, 读 TEMPLATE 时发现要求 > 1e4
太悲伤了
但是 bat 支持附加挂载。对着下面的步骤来一通就行了。
后记
那我是怎么想出一行 find + sed 解决的呢，因为我 AUR 打了 几十个包，唯手熟尔。
