Archive for the ‘Platforms’ 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.


Stuck in the Avast SafeZone

Tuesday, 29 November 2011

Here’s another post that I hope may help someone else to solve a problem that took me a couple of hours to get to the bottom of.

My kids share a very basic laptop, on which I installed Avast! free version as the anti-virus solution (with which I am generally very pleased). However, whilst playing with the gadgets, one of the kids managed to get the machine into the SafeZone, and there it seemed stuck: both “Switch back” and “Turn off SafeZone” briefly exit but immediately return to the SafeZone.

I found that others have had this problem, but the suggestions I found did not help in my case. I really didn’t want to un-install and re-install Avast, and so I hunted around a bit for an alternative fix. Here’s what I found.


How to Set VLC as the Default DVD Player (Windows 7)

Friday, 23 September 2011

Having spent some time searching the web for an answer to this question, I found the same partial information repeated many times. I prefer to keep auto-play disabled. However, I was still finding that Windows Media Player would always start when I double-clicked the DVD drive icon.

Eventually, I decided to have a bit of a dig around in the system.


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.


System Configuration Shortcuts

Thursday, 3 February 2011

Here are details of a few system configuration shortcuts I like to have on my desktop.

“Advanced System Settings (and Environment Variables)”
Target: C:\Windows\System32\SystemPropertiesAdvanced.exe
Start in: C:\Windows\System32

“Registry Editor”
Target: C:\Windows\regedit.exe
Start in: C:\Windows

Target: %windir%\system32\services.msc
Comment: Starts, stops, and configures Windows services.

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.


T-SVN Tip: More Short-cuts

Thursday, 6 January 2011

In a previous post, I described how to set up a desktop short-cut to open your TortoiseSVN repository browser. There are many other uses of the short-cut.


Sharing a Folder as a Different Name under Windows 7

Thursday, 9 December 2010

With Windows 7, you wish to share a folder (directory) on the network but to have the network view of that folder given a different name. For example, you might wish to share the to local directories <C:\first\share\> and <C:\second\share\> respectively as <\\my-machine\share-1\> and <\\my-machine\share-2\>, in order easily to distinguish them.


SVN: Problems Applying a Patch Cross-platform

Wednesday, 8 December 2010

Suppose you have a set of changes on a Windows machine ready for commit. However, before committing, you’d like to check compilation on your Linux box. So, you create a patch file with a command such as

C:\my-dir> svn diff > patch.diff

Having copied the patch to your Linux box, you try the command

/home/me/my-dir$ patch -p0 < patch.diff

Unfortunately, you see many problems of the form

Hunk #1 FAILED at 234.

What is wrong?