This is a simple timer script, implementing the pomodoro technique for time management. There are tons out there already but I didn’t like how they auto- started breaks. And most lacked shortcut abilities, so that was a dealbreaker. The script … Continued
The Spotify app for Linux seems to trigger a cascading failure with Cinnamon on my machine, where it balloons up sucking up all my ram and cpu power. Great! So let’s switch it to a single instance app using Chromium.
Since it seems the beep command is blacklisted in Linux Mint (or rather not loaded by default into the kernel) and it’s ugly af, we can make a better beep.
For some reason, they took away the ability to change the title of bash within a gnome-terminal window in the new Linux Mint 18 Sarah. I needed it to identify certain windows. Add this bit to your .bashrc to get … Continued
Add this little bit of code to your script:
This works great on the Asus Zenbook! I have a Surface Pro 2 which has a relatively dense, 10-inch 1080p screen. It hurts my eyes to look at individual UI elements and text without dpi scaling. On Windows, everything is … Continued
I’ve been looking for this one FOREVER. Love how easy it is to migrate home dirs and config files to a new Mint installation, but one of the things that I could never get right was moving the custom keyboard … Continued
Here are some useful easystroke commands (especially for when the built-in ones don’t work). This is really for my own reference.
Centre window (with a bit of randomness, so it doesn’t perfectly overlap) centre-window.sh Two monitor setup. I have a laptop screen (1600×900) left of my main monitor (1920×1280). Change accordingly! move-to-left-monitor.sh move-to-right-monitor.sh
After much searching, the solution was found by user marcinello at Super User. Why would someone want to downgrade PHP 5.5 to 5.4.9? Primarily it’s because PHP 5.5 is the first to deprecate the MySQL extension (suggesting either MySQLi or … Continued