Felix Crux

Technology & Miscellanea 

Tags: ,

Firefox already has an excellent cloud-based Sync system for sharing settings and browser history between computers — but perhaps you don’t want any of your data stored on remote servers; or you keep separate work and personal profiles; or you don’t want to have to set it up in several places (like short-lived virtual machines); or maybe you just like to keep all your settings in plain text files you can copy around.

I fall into several of those categories, but until recently, I didn’t know Firefox had a built-in solution.


Tags: ,

This is a little snippet that's been sitting in my .zshrc for years, and which people always seem to like. With a little bit of aliasing and with the help of the pygmentize utility from pygments, we can get stodgy old cat to produce colourful listings with syntax highlighting.


Tags: ,

Firefox's cross-platform nature means that it doesn't always fully integrate natively into your desktop. This was particularly apparent to me when using dark-coloured GTK themes under Ubuntu Linux. By default, Firefox looks something like this:

Light Firefox

But, with a bit of tweaking to your userChrome.css file, which lives under ~/.mozilla/firefox/<random-looking-name>.default/chrome/, we can make it a bit nicer:

Dark Firefox