1
0

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?

More than 3 years have passed since last update.

dotnet fsiの入力遅延?

Last updated at Posted at 2020-02-12

linux mint19.3(on ASUS E200HA)でapt経由で突っ込んだ
dotnetでfsiを動かすと、すっげー入力の反映が遅延する。

たとえばコードをコピペすると1文字ずつ入力していく様を眺めないといけなかったり、
中間に文字を打ち込んだりバックスペースで文字を1文字押すと
行頭から1文字ずつ再描画される(この間、何秒か待たないといけない)。

自分の環境だけかもしれんけど、理由がわからなくてうーんってなってる。
みんなこうなってないんだろうか?

同じような事象で苦しんでる人がいたっぽいけど、未解決のまま第三者にcloseされてる。
https://github.com/ionide/ionide-vscode-fsharp/issues/1242

僕の場合はvscodeでも純正ターミナルでも一緒で遅かった。

どうやって原因特定したもんかなぁ。

##やったけど関係なさそう

  • zshかbashは関係ない(両方試したけど同じだった)
  • デスクトップ環境を更新する(mint 18.3 SylviaのMate環境でも一緒やったので多分違う)
  • dotnetを更新する(上記と同じで、18.3当時よりもdotnetはバージョン上がってるはずなので)

##これから試す事

  • ターミナルの細かい設定?(vscodeから叩けるのって、システムのターミナル叩いてるだけなんですかね?)
    →透過とか弄ってみたけど関係なさそう。もしかしてCursorsとかその辺の実装の差かな?
  • Win10でも発生する?(これは別途検証する)
    →発生せんかった。powershellで叩いたけど爆速ですやん
win10
.NET Core SDK (global.json を反映):
 Version:   2.1.602
 Commit:    04475eb7cf

ランタイム環境:
 OS Name:     Windows
 OS Version:  10.0.18363
 OS Platform: Windows
 RID:         win10-x64
 Base Path:   C:\Program Files\dotnet\sdk\2.1.602\
mint
.NET Core SDK (global.json を反映):
 Version:   2.2.402
 Commit:    c7f2f96116

ランタイム環境:
 OS Name:     linuxmint
 OS Version:  19.3
 OS Platform: Linux
 RID:         linux-x64
 Base Path:   /usr/share/dotnet/sdk/2.2.402/

おっと、mintの方が新しいですね...

2020/2/13 追記
コメントで頂いた通り、dotnetのバージョン上げたら治りました!
ありがとうございます!

apt updateとapt upgradeで更新されるもんだとすっかり勘違いしてましたw

mint
.NET Core SDK (global.json を反映):
 Version:   3.1.101
 Commit:    b377529961

ランタイム環境:
 OS Name:     linuxmint
 OS Version:  19.3
 OS Platform: Linux
 RID:         linux-x64
 Base Path:   /usr/share/dotnet/sdk/3.1.101/

fsiがすらすら動く・・・こんなにうれしい事はない・・・!!!

1
0
2

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
1
0

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?