Daily Archives: July 21, 2022

I’m using Gnome 42.3 with X11 and would like to disable global shortcuts (e.g. Alt+F2 or Meta combinations) when a specific window is in focus. KWin supposedly has this kind of feature, as per this reddit thread. In my case it’s VirtualBox, where I need Meta press to result in […]

I need to generate a video that will run on Windows 10 with Windows Media Player without having to install any codec or anything else. I plan to generate that video using flags like the below. What codec should I choose for maximum compatibility and minimum size (not care about […]

I have a question regarding bash syntax. The bash manual, in section 3.5, says this: The order of expansions is: brace expansion; tilde expansion, parameter and variable expansion, arithmetic expansion, and command substitution (done in a left-to-right fashion); word splitting; and filename expansion. Here’s the link: https://www.gnu.org/software/bash/manual/bash.html#Shell-Expansions Now, these commands […]