I have a laptop that spends some of it’s time docked to a monitor and keyboard/mouse. I would like to know how to change some settings depending on if it’s connected to the dock or not. Is there a program that can help with this?

Some possible use-cases include:

  • Changing size of the taskbar to smaller/bigger
  • Changing the behavior of the taskbar to auto-hide
  • Changing the font size smaller/bigger
  • Changing power settings performance/battery saver
  • Enabling/disabling auto brightness
  • Enabling/disabling keyboard backlight

These are just a few things I can think of but can provide more.

Something like Android’s Tasker but for Linux would be great.

      • golden_zealot@lemmy.mlEnglish
        1·
        6 months ago

        Astounding, apparently you can counter the findings of this paper which proves beyond reasonable doubt that google is progressively getting worse when it comes to returning reliable and accurate search engine results.

        https://downloads.webis.de/publications/papers/bevendorff_2024a.pdf?ref=404media.co

        I’m sure the scientific community would be really glad to see the evidence you have to the contrary, I’ll even peer review your paper for you, let me know when you have a draft ready.

        • pete_the_cat@lemmy.worldEnglish
          2·
          6 months ago

          Just because it’s becoming less useful doesn’t mean it’s useless. I search for stuff every day and can find the answer I’m looking for in under a few minutes.

          • golden_zealot@lemmy.mlEnglish
            2·
            6 months ago

            You know what? That is actually some sound reasoning and I think that is an acceptable response.

            I intended my original comment to be more a a shot at google than yourself, but I can see why you came back with what you said as a result, and then I got salty about it so I apologize.

            • pete_the_cat@lemmy.worldEnglish
              2·
              6 months ago

              Apology accepted 🙂

              Google gets a lot of hate, and they, as a company and as a search engine have gotten worse over the years, but they still do a lot of stuff right. I never took it personally, just giving an example.