Ruff extension not showing up when using Vscode Remotely
pitosalas opened this issue · comments
Pito Salas commented
Dhruv Manilawala commented
Hey, thanks for the issue. Can you confirm if your screenshot is correct? It seems that the extension does show up. Can you give us the search query?
Pito Salas commented
Thank you. What I meant is that it does show up as installed but I cannot
pick it as a formatter. Does that make sense?
…On Mar 18, 2024 at 3:00:50 AM, Dhruv Manilawala ***@***.***> wrote:
Hey, thanks for the issue. Can you confirm if your screenshot is correct?
It seems that the extension *does* show up. Can you give us the search
query?
—
Reply to this email directly, view it on GitHub
<#417 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AAAK5CMXGO6HBAUTJ2TVVXLYY2GKFAVCNFSM6AAAAABD6JM7RGVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDAMBTGA2TQNJSGA>
.
You are receiving this because you authored the thread.Message ID:
***@***.***>
Micha Reiser commented
Thank you. What I meant is that it does show up as installed but I cannot
pick it as a formatter. Does that make sense?
Do you mean that ruff doesn't show up when you do Format Document with...
?
Pito Salas commented
Yes. Or when wanting to set it up as the default formatter.
…On Mar 21, 2024 at 10:29:24 AM, Micha Reiser ***@***.***> wrote:
Thank you. What I meant is that it does show up as installed but I cannot
pick it as a formatter. Does that make sense?
Do you mean that ruff doesn't show up when you do Format Document with...
?
—
Reply to this email directly, view it on GitHub
<#417 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AAAK5CLNAQTLUJXR242HN23YZLVEJAVCNFSM6AAAAABD6JM7RGVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDAMJSGQ2DOOBWGU>
.
You are receiving this because you authored the thread.Message ID:
***@***.***>
Micha Reiser commented
What version of the ruff
plugin is installed? I'm surprised that it doesn't show our official Ruff logo.
Pito Salas commented
Assuming that’s the correct version number…
…On Mar 21, 2024 at 12:12:46 PM, Micha Reiser ***@***.***> wrote:
What version of the ruff plugin is installed? I'm surprised that it
doesn't show our official Ruff logo.
—
Reply to this email directly, view it on GitHub
<#417 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AAAK5CJDM2AEY5PKJ7D3RCTYZMBH5AVCNFSM6AAAAABD6JM7RGVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDAMJSHAZDONZSHE>
.
You are receiving this because you authored the thread.Message ID:
***@***.***>
Pito Salas commented
I just uninstalled and reinstalled and got a later one. However I still
can’t invoke it nor does is show up when I try to choose a new
default formatter…
Pito
…On Mar 21, 2024 at 12:22:27 PM, Pito Salas ***@***.***> wrote:
Assuming that’s the correct version number…
On Mar 21, 2024 at 12:12:46 PM, Micha Reiser ***@***.***>
wrote:
> What version of the ruff plugin is installed? I'm surprised that it
> doesn't show our official Ruff logo.
>
> —
> Reply to this email directly, view it on GitHub
> <#417 (comment)>,
> or unsubscribe
> <https://github.com/notifications/unsubscribe-auth/AAAK5CJDM2AEY5PKJ7D3RCTYZMBH5AVCNFSM6AAAAABD6JM7RGVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDAMJSHAZDONZSHE>
> .
> You are receiving this because you authored the thread.Message ID:
> ***@***.***>
>
Micha Reiser commented
Assuming that’s the correct version number…
What's the version number?