Archive for the ‘Linux’ Category

Easier Window Resizing in Ubuntu

Thursday, 14 June 2012

The default edge width of windows is a single pixel; that’s very awkward to grab to drag the edges or corners.

It is possible to use ALT + Middle-Mouse-Button + Drag from within the window in the region of the edge or corner. But it would be better if the edges were just a bit thicker. There’s a way to do that too:



Disabling Ubuntu Unity’s Global Menu Bar

Wednesday, 13 June 2012

It’s goodbye Windoze, hello Linux.

Well, nearly. I have now started using Ubuntu in anger for commercial development, and have started to find going back to Windows 7 on my home machine relatively painful.

However, there are a couple of things in Ubuntu Unity that I can’t get on with. The main one is the Global Menu Bar; that is, the menu for an application appearing only in the top title bar for the desktop, rather than at the top of the application’s window.

Solutions to this problem are described elsewhere on the web, but instructions vary. I wanted to make as minor a change as possible.


BitRock Tip: Determination of Architecture + Platform

Tuesday, 12 July 2011

In BitRock InstallBuilder, defining folders specific to 32-bit and/or 64-bit architectures and Linux and/or Windows is simple but not entirely obvious. Here are some recipes.


Non-free Software

Thursday, 3 February 2011

Previously, I posted about free software.

There are just a couple of not-too-expensive commercial offerings that I think are excellent.


Batch / Bash: Output to STDERR

Friday, 30 October 2009

To output a message to the error stream in a batch file, simply do this:

echo your message text 1>&2

Similar syntax may be used in Bash shell scripts:

echo "your message text" 1>&2


Converting Bash ‘man’ to PDF

Wednesday, 8 April 2009

Here’s a Bash script to convert Bash man pages to PDF files: