Welcome to the badgerports 8.04 Ubuntu Repository

What is on badgerports?

badgerports contains several software packages for use with Ubuntu Linux 8.04. Whilst on the whole it is a good idea to use the software provided with your Linux distribution, there are sometimes bugs or major software updates that cannot be included for operational reasons. badgerports is a home for a number of wayward software packages, to enhance the Ubuntu experience.

The primary purpose of badgerports is to provide recent versions of the Mono framework, and associated packages such as F-Spot, Banshee, and Monodevelop. Suggestions for other packages to include are welcome, but don't be offended if I decline for whatever reason.

How do I use badgerports?

First, download a copy of the archive's GPG key from here, or obtain it yourself (key ID 0E1FAD0C).

Next, launch Software Sources (System, Administration, Software Sources) and navigate to the Authentication tab. Click "Import Key File" and select the key file from earlier.

Click on the "Third Party Software" tab, click "Add", type the following line, then click "OK":

deb http://directhex.mfgames.com/ hardy main

Now, click the "Close" button to enable all badgerports packages.

Who is responsible for badgerports?

badgerports is maintained by Jo Shields, and hosted by Moonfire Games. Package compilation is provided by the Launchpad PPA system.

Please prefix all subject lines with "badgerports: " so I can see them in amongst the spam.

Which packages are provided, exactly?

Source Packagebadgerport Version
cli-common 0.6.2~dhx1
gluezilla 2.4.2-1ubuntu1~dhx1
gnome-do 0.8.1-0~hardy~dhx1
gnome-do-plugins 0.8.1.1-0~hardy~dhx1
libgdiplus 2.4.2-1~dhx1
mod-mono 2.4.2-1~dhx1
mono 2.4.2.3+dfsg-2~bpo50~dhx1
mono-basic 2.4.2-1~dhx1
mono-tools 2.4.2-1ubuntu1~dhx1
nunit 2.4.7+dfsg-4~dhx1
webkit 1.0.1-4ubuntu0.1~dhx1
webkit-sharp 0.2-1~dhx1
xsp 2.4.2-1~dhx1

How many people use badgerports?

Monthi386 usersamd64 userslpia users
July 20084888957
August 200860951228
September 200872241488
October 2008987123990
November 2008640714821
December 20085355108912
January 20095049118921
February 20094675106341
March 20094965106443
April 2009No dataNo dataNo data
May 2009No dataNo dataNo data
June 2009No dataNo dataNo data
July 2009341451623
August 20099861206
September 200914152614
October 2009562184634
November 2009429648
December 20091161070