Software
25 articles
How to quickly and easily mount a USB drive as a regular user using the command line
To mount my USB drive, I was using the traditional sudo mount /dev/sdXY /path/to/mountpoint. But because I was mounting as root, I had to prefix every operation with sudo. So how to mount it as a regular user ? Simply using udisks ($ sudo pacman -S udisks2), which is used by gvfs and various file…
How to import some Linux-like behaviors into Windows ?
Sometimes using Windows is required, for professional reasons, gaming, nostalgia... (nah, just kidding). Then I quickly find myself moving my mouse from a window to another and start typing, expecting that the window I'm typing in has the focus. Or I select a text and click the middle button of…
[PCManFM] Unable to find or create trash directory
This error happened when I tried to trash files located on a secondary drive, which is automatically mounted at startup in my /etc/fstab. To fix this, I manually created a hidden .Trash-1000 folder at the root of the mounted folder, and made it belong to my user: 1000 is the uid of my user. This is…
Alt+Insert shortcut not working with Fn key in Android Studio (and maybe elsewhere)
I have a TypeMatrix keyboard with quite a few keys requiring pressing the Fn key first. Insert is one of them. So if I want to use a shortcut like Alt+Insert, I usually just need to type Fn+Alt+Insert. But it does not work in Android Studio1 2, where I had to add a custom mapping. It appears that…
[Bluetooth] Failed to connect: org.bluez.Error.Failed
Error after removing then reconnecting my Bluetooth dongle. The culprit was PulseAudio, which needed to be restarted: