Linux

48310 readers

645 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

Posts must be relevant to operating systems running the Linux kernel. GNU/Linux or otherwise.
No misinformation
No NSFW content
No hate speech, bigotry, etc

Related Communities

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

founded 5 years ago

MODERATORS

AgreeableLandscape@lemmy.ml

nooter692@lemmy.ml

MarcellusDrum@lemmy.ml

cypherpunks@lemmy.ml

cyclohexane@lemmy.ml

d3Xt3r@lemmy.nz

Changing PC settings if laptop is docked/a second monitor is connected? (lemy.lol)

submitted 6 months ago* (last edited 6 months ago) by flork@lemy.lol to c/linux@lemmy.ml

22 comments fedilink hide all child comments

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

[–] 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.