Help us understand the problem. What is going on with this article?

dotnet fsiの入力遅延?

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がすらすら動く・・・こんなにうれしい事はない・・・!!!

aoi_erimiya
No problem. Everything's fine.
Why not register and get more from Qiita?
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away
Comments
No comments
Sign up for free and join this conversation.
If you already have a Qiita account
Why do not you register as a user and use Qiita more conveniently?
You need to log in to use this function. Qiita can be used more conveniently after logging in.
You seem to be reading articles frequently this month. Qiita can be used more conveniently after logging in.
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away
ユーザーは見つかりませんでした