zjiekai

Results 6 comments of zjiekai

从 Rich 作者的一个问题说起

```py def merge_gen(a, b): for thing1, thing2 in zip(a, b): yield a yield b ``` 是不是 `yield thing1/2`?

tele client connection dies when tunneling via ssh

@blalor I can reproduce your issue. You want the 4th terminal ssh session to remain while the 2nd ssh tunnel is broken. The purpose of the 2nd ssh tunnel is...

Missing expectedSequenceToken property in InvalidSequenceTokenException when calling CloudWatch put_log_events

says > You can also get the sequence token in the expectedSequenceToken field from InvalidSequenceTokenException . Is this fixed?

可以在git-bash中用吗?

用的这个 `lua` 还是不行。`msys2` 和 `mingw` 的程序是什么区别呀？ ``` $ pacman -Qo lua.exe /ucrt64/bin/lua.exe is owned by mingw-w64-ucrt-x86_64-lua 5.4.4-1 ``` 包的名字有 `mingw-` 前缀意思就是这其实是 windows 的程序么

I hope this paragraph about `leanpkg` and `leanproject` can be made easier to find

I don't have very specific improvement ideas either. Is it correct to assume that there will be no `leanpkg` new releases? Most future tooling development will happen at `leanproject`?

I hope this paragraph about `leanpkg` and `leanproject` can be made easier to find

Seems `leanpkg` does not have `--version`