Articles related to linux

• govern.sh - a simple shell script to manage processes 19^th June 2023
• Teleprompter prototype using Raspberry Pi 18^th January 2023
• USB device port identification on Linux 16^th October 2020
• GRUB trouble on Linux after partition movement 20^th August 2018