Origami404 的 Blog 有空的话就随便逛逛吧 www

Win10下Haskell开发环境的配置

前言

时隔半年再次开始学Haskell, 然后在配环境中度过了一个哭笑不得的下午…

Win10重装与MSR分区

前言

大概1月底, 辣鸡win10的更新就更不上去了, 然后我折腾了好久…包括各种系统检查啊手动安装啊, 无果. 最后在3月决定干脆删了重装…

重装过程中遇到了大大小小的问题, 写个文章记录一下.

3月的事拖到4月写, 咕咕咕实锤

变分学基本定理

试卷现实生活中, 总是会碰到一些泛函上的最优化问题. 它们大多可以归为以下形式:

在函数集合

$$ \left\{ x(t) \ \Big| \ x(t_1) = y_1, x(t_2) = y_2, x^{(k)} 存在 \right\} $$

中, 求一个函数 $x(t)$ 使得泛函 $I[x(\centerdot)]$ 的积分:

$$ S = \int_{t_1}^{t_2} I[x, x’, t] \ \mathrm{d}x $$

有极值.

Arch Alacritty 配置

应某人推荐, 终端模拟器使用了Alacritty, 特此记录.

Arch AwesomeWM 配置

配个awesome.

主要痛点有:

  • 任务栏在上面, 并且有一堆很讨厌的东西, 比如什么启动菜单啊, 当前任务啊, 键盘键位等
  • 默认layout居然是floating, 理解不能
  • tag居然是全部显示然后有东西就有个点, 这样看起来很累
  • 快捷键不合我口味
  • 壁纸有点丑啊…

Arch CLI工具 安装记录

接着上文, 记录一些常用的CLI工具

Arch GUI 配置

安装

桌面环境这次选择了X+awesome, wayland现在还是太折腾了, 并且还有输入法这一个大坑. 用过i3之后对浮动式wm就再也提不起兴趣, 同时因为用了一阵子i3, 决定换个口味, 试试配一个awesome.

dm用的是lightdm, greeter用了lightdm-webkit2-greeter(因为好看2333), 主题选择了这一个.

终端模拟器用了alacritty, 主题选了这一个

Arch LightDM 配置

简要名词介绍

  • WM: Windows Manager, 用于登录之后管理窗口的玩意
  • DM: Display Manager, 提供登录之前跟登录界面
  • Greeter: 用来提供登录界面, 依赖于特定的DM

Arch Nvidia 闭源驱动 配置

其实开源驱动已经很好了, 但是颜色看起来总是怪怪的…

白色跟浅浅的黄白之间的交界简直awful…令人窒息, 特别是每次打开google都得看一次, 辣眼睛.

一开始以为是颜色深度的问题, 因为win下是32位, 开源驱动下是24位, 但是怎么搞都搞不上32位, 遂放弃.

后来一狠心, 装了闭源驱动, 发现并不是颜色深度的问题, 而是一个叫Color Range的玩意的问题, 于是特此记录.

Arch 安装记录

简单记录一下安装arch时需要的命令. (虽然install.txt里都有了)

install.txt复读机

如果你还不知道Arch是什么, 可以戳这里看看维基

打开作弊指南 install.txt

为了方便安装, 在启动完arch镜像后, /root下有一个install.txt, 打开就是安装所需的大部分步骤, 然后就可以一边看着一边抄了.

一开始我用Ctrl+Alt+F2开多一个虚拟终端然后在F1F2之间切换着抄, 后来vim支持虚拟终端之后就直接vim抄美滋滋.

具体做法是用vim打开install.txt之后, 在normal模式下键入:term就可以打开一个终端. 然后按Ctrl+Shift+h/j/k/l就可以挪终端位置, 挪到喜欢的位置就可以开抄(?)了.