A minor update to Sound Switcher Indicator — version 2.3.4 — has been released (as well as a few intermediate ones).
What’s changed since the previous 2.3.0 release:
A minor update to Sound Switcher Indicator — version 2.3.4 — has been released (as well as a few intermediate ones).
What’s changed since the previous 2.3.0 release:
A new version of Sound Switcher Indicator — 2.3.0 — has just been released.
This version finally adds a frequently-requested feature: the ability of mapping global keyboard shortcuts to input and output ports.
What’s the easiest way to download a video file from YouTube, Vimeo etc. in Linux? And how do you extract its audio track as an MP3 file?
You can opt for one of numerous online video converters, but I personally prefer doing that from the command line using youtube-dl.
It supports video downloads from YouTube, Vimeo, BBC, CBS, and about 1100 more (even from YouPorn).
Joining the mass sustainability hysteria spree, I’d like to put my two cents into the future of my and others’ grandchildren.
Many interactions with Dutch institutions result in a filled-in and signed document that needs to be emailed or uploaded.
Or another example: you visit Russian Post where you’re requested to fill out 117 copies of a certain form. Do not give in to the provocation and do not fill it in by hand!
A while ago I’ve made a decision to migrate off Disqus, which is arguably the most popular external commenting system for website owners.
My current project makes use of the MySQL database, which runs in a Docker container.
At a certain moment connecting to the database became excruciatingly slow, taking tens of seconds to establish a single connection. After that everything would work as expected.
The application opens a connection some hundred times, so the startup time had become really unacceptable.
I’ve spent a lot of time hunting that down, and then even more time looking for a solution as I failed to find any on StackOverflow. But finally I’ve solved this.
My today’s story is about a well-known yet impressive graphic editing technique called multiplicity. It allows you to multiply objects on a photo—most commonly people, but it can be just as well kittens or lawn-mowers. Using this technique, you can make pictures like this:
I’m a Linux guy and hence my favourite graphic editing tool is Gimp, but the same can be done with any other editor that supports layers and masks.
I couldn’t take it anymore so I created an audio input/output switcher indicator for Ubuntu.