Is there anything like AutoHotKey for Linux (Debian/Ubuntu)? It's the thing I miss the most from using Windows.