June 21, 2025

how to set custom keyboard shortcuts in Ubuntu 18.04