this post was submitted on 10 Jul 2023
18 points (100.0% liked)

Linux

46777 readers
1804 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
 

This solves a problem I had with wanting to quickly start up a Distrobox container using a shortcut key, but also being able to differentiate it visually from my normal Konsole terminal screen I'd use on Manjaro Linux. It is extremely quick and the named Konsole Profile has a different colour as well as a different window title bar. I needed this as my Starship custom prompt was not playing ball with showing the change of OS properly (it could do so, but the formatting broke all the time). This method I describe here is solid, and works irrespective of the prompt.

I thought this was worth sharing as firstly I could find no search results showing how to do this, and secondly, it can actually be applied for purposes other than just starting a Distrobox container. Any terminal command can be used. It is also a useful way to actually use these named Profiles that Konsole has in KDE Plasma.

My video also gives a taste of what Distrobox does, so if you're interested further in Distrobox I have also included a link below my video, to a Distrobox overview video by someone else.

Watch https://youtu.be/g7x_ngYtj6Y

#technology #opensource #Linux #Distrobox #Konsole

top 7 comments
sorted by: hot top controversial new old
[–] [email protected] 3 points 1 year ago (1 children)

Here is an alternative Piped link(s): https://piped.video/g7x_ngYtj6

https://piped.video/g7x_ngYtj6

Piped is a privacy-respecting open-source alternative frontend to YouTube.

I'm open-source, check me out at GitHub.

[–] [email protected] 1 points 1 year ago

Piped Link of my does not seem to be loading

[–] [email protected] 1 points 1 year ago (1 children)

"This video isn't available anymore"

[–] [email protected] 2 points 1 year ago (1 children)

Sorry about that - I somehow chopped the last letter off - have fixed it now, but it is at https://youtu.be/g7x_ngYtj6Y

[–] [email protected] 1 points 1 year ago (1 children)

Here is an alternative Piped link(s): https://piped.video/g7x_ngYtj6Y

Piped is a privacy-respecting open-source alternative frontend to YouTube.

I'm open-source, check me out at GitHub.

[–] [email protected] 1 points 1 year ago* (last edited 1 year ago) (1 children)

It's a bit like you're an unmanaged bot.... in case you got the wrong link as well, it should be https://youtu.be/g7x_ngYtj6Y

[–] [email protected] 2 points 1 year ago* (last edited 1 year ago)

This one seems to work, it's the other bot post that still has the wrong address.

load more comments
view more: next ›