Articles about Linux
- Understanding modern Linux routing (and wg-quick) 27 Feb 2021
- Laptop vs. desktop for compiling Haskell code 22 Dec 2020
- Sort directories by the newest file 4 Dec 2020
- Configuring PulseAudio for Audient EVO 4 10 Jul 2020
- Long-term reminders 22 Nov 2019
- Install all R packages used in the code 2 Apr 2018
- Export transactions from Santander 4 Mar 2018
- RPM packager's cheat sheet 25 Jan 2018
- Estimate program run time 9 Nov 2017
- Linux audio recording guide (PulseAudio or PipeWire) 21 Jul 2017
- All vk.com IP addresses 14 Jul 2017
- Increase the open files limit on Linux 26 Mar 2017
- Getting Random Things Done: fetching a random card from Trello 22 Jan 2017
- Make ~/.pam_environment work again 8 Nov 2016
- A case for static linking in scientific computing 9 Sep 2016
- Docker configuration on Fedora 18 Aug 2016
- Debugging a CUPS Forbidden error 8 Jul 2016
- Install Fedora Linux on an encrypted SSD 28 Jun 2016
- Fixing "Permission denied (publickey)" after an SSH upgrade 21 Dec 2015
- Static linking with ghc 26 Oct 2015
- Setting up Samsung Wireless Printer on Linux 21 Apr 2014