this post was submitted on 19 May 2024
48 points (96.2% liked)

Linux

48287 readers
608 users here now

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

founded 5 years ago
MODERATORS
 

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.

you are viewing a single comment's thread
view the rest of the comments
[–] golden_zealot@lemmy.ml 2 points 6 months ago (1 children)

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.world 2 points 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.