Categories
- Googled (23)
- Peeves (9)
- Technology (22)
- Truly random (13)
- Uncategorized (1)
- Web dev (25)
Archives
Category Archives: Googled
phpMyDiff – Compare mysql database schema and data
At work I’ve been maintaining a number of development areas and needed a way to compare database changes so that I didn’t overwrite a clients changes with my new/updated data from developing a new feature.
There seemed to be many ways of comparing the schema of two databases, but nothing to compare the changes in data [...]
Also posted in Web dev 3 Comments
Change volume key step size in Ubuntu
At work we often listen to music off of my computer, so when the phone rings I have to quickly adjust the volume. Using the volume keys on my keyboard I could have the music either really loud or too quiet.
So, to change the effect the volume keys have:
Press Alt+F2 to bring up the “Run” [...]
Ubuntu 9.10 Rhythmbox requires GStreamer element autoaudiosink to play mp3’s
I recently upgraded my work PC to Ubuntu 9.10 and in doing so lost the ability to play mp3s in Rhythmbox. When trying to play an mp3, rhythmbox would ask for a new plugin, but after looking, say it couldn’t find “GStreamer element autoaudiosink”.
After reinstalling gstreamer and rhythmbox a few times I turned to the [...]
Also posted in Technology 11 Comments
jQuery plugin to disable text selection on elements
It took my a while to find a bit of script that worked cross browser, but the jquery plugin at http://code.jdempster.com/jQuery.DisableTextSelect/ does the job!
When working on the UI of a web application text would often get selected by the browser incorrectly, for example while dragging an element, or clicking on an element with an onclick [...]
Error running dcpromo.exe, “The remote procedure call failed”