Luo Chen

 When the cursor is under the word "Sausage" -- which is part of the string literal -- and you put `\t` then this plugin will tell you `No such...

I'm not sure whether it is intended or not, but this will cause some identifiers spell checked.  I think identifiers should not be spell checked anywhere.

type checking issue about Integer and sum

1

# Steps to Reproduce ``` data TyRep = Number | Text data Value : TyRep -> Type where NumberV : Int -> Value Number TextV : String -> Value Text...

Cannot find Proof General Directory on Windows 10

2

File error: Cannot open load file, No such file or directory, /usr/local/share/emacs/site-lisp/proof-general/generic/proof-site

我能把自己的 chrome 目录 mount 进容器么？

1

我不想重复下载浏览器，是否允许我将自己本地的浏览器映射到容器里面使用？ 可能涉及到如下子问题: 1. `/root/.cache/rod/browser` 目录下面期望是什么结构？ 2. 这个软件对浏览器版本有特殊要求么？ 3. 如果我自己提供浏览器，那么是否可以实现仅使用 latest-lite 镜像就可以支持从 subhd、zimuku 下载字幕呢？

[Feature Request] better CLI upload

7

I found that [rustypaste](https://github.com/orhun/rustypaste) provide a CLI tool, do we support that? This is talked about in the [Document](https://microbin.eu/documentation/) at chapter "Use MicroBin from the console with cURL": `curl -d...

 Reproduce steps: ``` nix-shell -p snapper-gui > sudo snapper-gui ```

"Open" button not available with sudo

2

I have to use `sudo snapper-gui` to see snapshots which is owned by root, but Dolphin (the KDE file explorer, which is called by "Open" botton) complains about that. ```...

Since mtr is a replacement for traceroute, hoping that there is also support for mtr.

Support --follow-fork

1

## Feature Request **Is your feature request related to a problem? Please describe.** I'm running a test case via a subprocess, and I find that [memray provided a CLI argument...