Recently I’ve been working on a toy that launches an REPL in
adb shell, which would be more comfortable to use if it has the line editing functionality similar to
bash. After some research, I found that actually there are a number of line editing libraries available, so it should be a nice and easy addition. However, after some integration work, I was surprised to find that all these libraries (e.g. jline3, linenoise (which was also once imported into AOSP)) only worked on older versions of Android, that is, until Android 8.0.
ThinkPad T series (also X1 Carbon) laptops have a great keyboard that I’ve been using delightfully for years. However, there’s a minor issue with its keyboard layout: they replaced the
Menu key with a
PrtSc. In my day to day work, I almost always accidentally hit that key while using my lovely
Alt keys, upon which my laptop happily plays a shatter sound, flashes my screen white for a split second and spawns a screenshot file under my
Pictures/ (thank you, GNOME). Whereas when I wanted to use my
Menu key, it’s nowhere to be found.
However, there’s still an
Insert key lying quietly in the top-right corner, which I never used (except for checking if some app even supports it). So why not make my old
PrtSc and my old
PrtSc the new
Moreover, there are also 4 special keys (
F12) that could have been my media keys, but are by default strange things like
Search. Why not map them to media keys as well?
For years OpenWeather has been my favorite GNOME extension for quick and beautiful weather information. However today when I looked at my top bar again for weather, I had the impression as if something is missing:
And this is what it used to be like:
My degree Celsius symbol is missing!
This is my notebook for some small tips and tricks when using Arch Linux.
Why Arch Linux?
It is fresh and simple in package dependency.
It has a powerful Arch User Repository and makes it easy for you to make/modify your package.
It has a detailed Arch Wiki comprising useful experiences and recommendations.
It gets you to learn the basic knowledge required to be a Linux user/administrator/programmer.