this post was submitted on 18 Sep 2023
541 points (92.1% liked)

linuxmemes

21273 readers
413 users here now

Hint: :q!


Sister communities:


Community rules (click to expand)

1. Follow the site-wide rules

2. Be civil
  • Understand the difference between a joke and an insult.
  • Do not harrass or attack members of the community for any reason.
  • Leave remarks of "peasantry" to the PCMR community. If you dislike an OS/service/application, attack the thing you dislike, not the individuals who use it. Some people may not have a choice.
  • Bigotry will not be tolerated.
  • These rules are somewhat loosened when the subject is a public figure. Still, do not attack their person or incite harrassment.
  • 3. Post Linux-related content
  • Including Unix and BSD.
  • Non-Linux content is acceptable as long as it makes a reference to Linux. For example, the poorly made mockery of sudo in Windows.
  • No porn. Even if you watch it on a Linux machine.
  • 4. No recent reposts
  • Everybody uses Arch btw, can't quit Vim, and wants to interject for a moment. You can stop now.

  • Please report posts and comments that break these rules!

    founded 1 year ago
    MODERATORS
     
    you are viewing a single comment's thread
    view the rest of the comments
    [–] sfgifz@lemmy.world 12 points 1 year ago (3 children)

    Does it really have to? Vscode is built on top of it, I don't think it's ever opened chromium dev tools for the app (maybe I'm wrong?)

    [–] bobbysq@lemmy.world 32 points 1 year ago (1 children)

    Some apps can disable it, I think Discord does so people don't get tricked into pasting random scripts into the console

    [–] sorrybookbroke@sh.itjust.works 11 points 1 year ago* (last edited 1 year ago)

    That is true, though it's possible to re-activate them through a configuration file in discord. However, a developer can fully disable the tools if they wish

    [–] redcalcium@lemmy.institute 5 points 1 year ago

    For VSCode, click Help -> Toggle Developer Tools

    [–] rodolfo@lemmy.world 3 points 1 year ago* (last edited 1 year ago)

    on raspbian, don't remember which version, ctrl shift I opens dev tools Edit vs code dev tools